CertiK：Solana跨链桥虫洞事件分析

北京时间2022年2月3日凌晨1点58分，Solana跨链桥项目虫洞遭受攻击者发起的攻击。黑客绕过了Solana上的WormholeBridge验证过程，并为自己铸造了WormholeETH(wETH)。

此次事件中，攻击者通过注入一个性的sysvar帐户绕过了系统验证步骤，并成功生成了一条恶意“消息”，指定要铸造12万枚wETH。最后，攻击者通过使用恶意“消息”调用了“complete_wrapped”函数，成功铸造了12万枚wETH，价值约3.2亿美元。

该事件造成的损失金额之大，令其成为了DeFi史上第二大黑客攻击事件。

虫洞简介

虫洞，又称爱因斯坦－罗森桥，也译作蛀孔。是宇宙中可能存在的连接两个不同时空的狭窄隧道。

言归正传，其实Solana的跨链桥虫洞协议，确有虫洞在科学乃至科幻小说里相同的意思和定位。

贝宝金融债权人保护延期请求被搁置:金色财经报道，贝宝金融（Babel Finance）联合创始人 Flex Yang 表示，在债权人 Deribit 提出反对意见后，新加坡法院拒绝就 Babel Finance 请求延长债权人保护的请求做出更明确的决定。Flex Yang 称，法院准许临时暂停（interim moratorium），直到 4 月 17 日 Babel Finance 的债权人保护请求的下一次听证会日期。

Flex Yang 表示，Babel Finance 欠债权人约 7.5 亿至 8 亿美元，其针对债权人行动的持续暂停保护将于 4 月 5 日结束。Flex Yang 于 2021 年底退出公司日常运营，目前已返回监督公司的重组。[2023/4/1 13:39:13]

虫洞可连接两个不同时空的隧道，从而节约时间进行“传送”。而Solana的跨链桥虫洞协议，是连接以太坊的桥。简单来说，它帮助我们节约了交易的时间和周期，避开以太坊的拥堵从而体验到Solana的快速交易。

推特在成本削减行动中至少裁员50人:金色财经报道，据the Information报道，推特公司周六裁员数十人，以弥补收入下降的影响。报道称，此举涉及到一些工程团队，包括广告技术支持、推特主要应用程序和技术基础设施的团队。推特尚未对此置评。[2023/2/26 12:30:36]

漏洞利用交易

铸币12万枚WormholeETH:?

https://solscan.io/tx/2zCz2GgSoSS68eNJENWrYB48dMM1zmH8SZkgYneVDv2G4gRsVfwu5rNXtK5BKFxn7fSqX9BvrBc1rdPAeBEcD6Es?

将代币转到以太坊:?

https://etherscan.io/address/0x629e7da20197a5429d30da36e77d06cdf796b71a#internaltx?

Binance Pay宣布支持USDT、SHIB等数字资产:金色财经报道，据Binance官方公告称，Binance Pay已将ALPINE、APE、BIDR、BNX、BSW、CAKE、COTI、GALA、HIGH、PORTO、SANTOS、SFP、SHIB、USDT 和 XNO加入加密货币支持列表，这意味着用户可以在支持使用上述加密货币的商家和Binance市场上可用企业使用 Binance Pay 发送、接收和付款。[2022/11/2 12:07:35]

漏洞攻击流程

步骤一：攻击者使用假sysvaraccount调用“verify_signatures”函数：https://solscan.io/tx/25Zu1L2Q9uk998d5GMnX43t9u9eVBKvbVtgHndkc2GmUFed8Pu73LGW6hiDsmGXHykKUTLkvUdh4yXPdL3Jo4wVS①以伪造的“sysvaraccount”作为参数调用的“verify_signatures”函数：

Wuliangye NFT项目疑似Rug Pull，官网和社群已关闭:8月11日消息，Wuliangye NFT项目疑似发生Rug Pull，目前官网与Discord社群已关闭。

此前8月5日消息，Wuliangye NFT部署地址向Binance转入111,316枚USDT。据了解，Wuliangye NFT项目与名酒品牌五粮液无关。[2022/8/11 12:17:42]

相比之下，以下截图是以真实的“sysvaraccount”作为参数的“verify_signatures”函数：

②?“verify_signatures”函数从sysvar(L92)加载当前指令。

③?然而，函数“load_current_index”并不能验证“sysvaraccount”是否真的是“systemsysvar”。由于从“sysvar”中检索到的当前指令是由攻击者控制的，因此它可以顺利通过以下验证过程。

西甲皇家贝蒂斯将在Fancurve平台推出元宇宙数字球衣:6月1日消息，西甲皇家贝蒂斯俱乐部宣布与元宇宙服装初创公司Fancurve签署了一项为期三年的合作协议，后者将为该俱乐部打造元宇宙数字球衣。粉丝们将能够在Fancurve平台上穿着由Fancurve的3D时装设计师制作的官方授权贝蒂斯主题球衣来打扮自己的Avatar化身。

据悉，首款皇家贝蒂斯球衣将于6月7日发售，售价为43美元。持有数字球衣的用户将有机会获得皇家贝蒂斯的独家俱乐部福利。[2022/6/1 3:56:09]

步骤二：攻击者随后使用上一步验证的签名调用“post_vaa”函数，并创建一个恶意消息帐户，声明要铸造12万枚wETH：https://solscan.io/tx/2SohoVoPDSdzgsGCgKQPByKQkLAXHrYmvtE7EEqwKi3qUBTGDDJ7DcfYS7YJC2f8xwKVVa6SFUpH5MZ5xcyn1BCK

①Account2是通过“verify_signatures”指令生成的签名集。②Account3是将在“complete_wrapped”函数中使用的消息帐户。

步骤三：攻击者调用“complete_wrapped”函数读取恶意消息账户中的数据并铸造12万枚wETH：https://solscan.io/tx/2zCz2GgSoSS68eNJENWrYB48dMM1zmH8SZkgYneVDv2G4gRsVfwu5rNXtK5BKFxn7fSqX9BvrBc1rdPAeBEcD6Es

①?Account3是“post_vaa”函数生成的消息账户。

②?Account6是“收件人”地址，用于接收铸造的WormholeETH。③Account9是WormholeETH的铸币机构，是一个PDA。这就是为什么在签名验证通过后，攻击者可以直接铸造代币。

步骤四：部分铸造的wETH被转移到以太坊，其余的被交换到USDC和SOL：

https://solscan.io/tx/j3jUDG43di8Dsg7Q3jQhstamtBovu1GLqnDJ7yNvM3r4pnK9e7uqgt9uBobCjT5S1BKhZZFQNQwDxypEYqLknechttps://solscan.io/tx/5UaqPus91wvAzKNve6L8YAHsESomZQ7GWi37gPFyzTHcXNMZA641bb8m8txo7bS7A5cAnzKDKYyiKcQC8GgDcAufhttps://solscan.io/tx/3AugXqrXunBa96YfqENhPBiWZWpnSnJdqAHS64qcHTVU9KtfGon8cN9cUuXsDmBobBBXjYUtuRxnYxgERS42nh6Ghttps://solscan.io/tx/2SndtH3tU4j6v14HJzEde3d3dnpdHqTPn4VnvhTj4zKLo26H5kmtCwjn2nANfjXNVbmFsyEGtD4Jte25azsPwaRk

合约漏洞分析

这个漏洞的根本原因是在验证签名过程中，程序使用了一个在Solana更新至1.8.0时即被废弃的“load_current_index”函数。该函数不会验证输入的“sysvaraccount”是否真的是“systemsysvar”，从而攻击者可以趁机伪造这个关键帐户。

为了防止将来此类问题的发生，必须检查并验证函数使用的所有帐户。特别是在该案例中，由于部分检查过程依赖于外部调用，而外部调用的可靠性被过度信任，从而引入了风险。

总结

目前，Wormhole团队已修复漏洞并已恢复网络。在此，CertiK给开发者提出如下几点建议：

开发者在使用外部依赖的函数时，需要对这个函数有足够的了解。随时关注外部依赖代码库的重要更新，在有重大版本变动时及时对自己的代码库做出相应的调整。当代码版本更新时，也需及时进行全面审计，并将审计后的代码及时更新到已部署上链的代码中。农历破五将至，希望大家“破五穷”。同时也希望每一个项目在经过严格的审计之后上线部署从而获得更高的安全性并减少财产损失的可能。好运从新的一年起开始不断“循环”；安全从严格的审计开始，每个项目都有更好的“开端”！

迄今为止，CertiK已获得了2500家企业客户的认可，保护了超过3110亿美元的数字资免受损失。欢迎点击CertiK公众号底部对话框，留言免费获取咨询及报价！

标签：SOLANCSYSETHSOLID价格FINANCEAIGSYS币EthereumFair

ETH热门资讯