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

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

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

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

虫洞简介

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

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

The Block Research副总裁Larry Cermak升任CEO:3月31日消息，The Block Research 副总裁 Larry Cermak 在社交媒体上发文表示，其个人将出任 The Block 首席执行官一职。同时，加密做市商 Wintermute 创始人兼首席执行官 Evgeny Gaevoy 正加入 The Block 董事会。

Larry Cermak 表示，目前加密市场的环境与 5 年前大不相同，The Block 需要调整以更快地适应市场波动，其个人当前的目标是引导 The Block 实现盈利，工作将专注于创收并精简其员工队伍。The Block 未来仍将致力于加倍投入研究、数据和新闻，确保继续提供高质量内容。[2023/3/31 13:38:03]

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

Spencer Noon：可在YFI价格连续超过比特币10天后将其拆分:DTC Capital 投资者 Spencer Noon发推提出一个适度的非正式拆分YFI建议：在YFI价格连续超过比特币10天之后以10:1的比例拆分YFI，拆出ySplit。新的ySplit保证1YFI=1比特币，这能够让社区在同一文化氛围下集结，并且永远拥有以绩效为导向的目标。

此前，yearn.finance宣布将推出去中心化保险功能，这促使YFI币价大涨，一度触及9000美元，这点燃了YFI支持者对价格超过比特币的信心。（哔哔News）[2020/8/18]

漏洞攻击流程

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

Balancer批准三项流动性挖矿相关提案:上周末，Balancer对其新的治理提案进行了第一轮投票，三份提案都得到了利益相关者的批准。据悉，自动流动性和资产管理协议每周为向Balancer平台提供流动性的人分配145000 BAL。代币分配与每个地址的流动性贡献对应。为了得出一个管理分配的公式，Balancer上周发布了其最小治理工具，并就这一计算结果提出了三项提案。

第一个提案被称为“balFactor”，鼓励持有者使用他们的BAL代币来获得流动性，而不仅仅是兑现；第二项提案是通过降低对高收费池的挖矿处罚来修改“feeFactor”；第三项提案是将“wrapFactor”定为0.7，来应用于每对软锚定代币的流动性，以吸引更多有用的流动性加入协议。（BeInCrypto）[2020/7/20]

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

声音 | 赵长鹏回应Larry Cermak：调整BNB销毁计划与监管无关:赵长鹏发推就The Block分析师Larry Cermak对“币安调整BNB销毁计划，放弃团队BNB份额”的分析做出回应。赵长鹏表示：直到第六条为止都是很棒的思路及数据。认为这与监管有关的假设是完全错误的。从第七条开始就是“危言耸听”（FUD，恐惧、不确定、怀疑）了。（调整计划的）主要原因是不再需要担心团队解锁和抛压，现在这已经不可能了。 据悉，The Block分析师Larry Cermak此前就“币安调整BNB销毁计划，放弃团队BNB份额”展开分析。分析的第七条内容主题为：深信币安作出这项改变是出于监管合规的考虑。[2019/7/13]

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

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

步骤二：攻击者随后使用上一步验证的签名调用“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/j3jUDG43di8Dsg7Q3jQhstamtBovu1GLqnDJ7yNvM3r4pnK9e7uqgt9uBobCjT5S1BKhZZFQNQwDxypEYqLknec

https://solscan.io/tx/5UaqPus91wvAzKNve6L8YAHsESomZQ7GWi37gPFyzTHcXNMZA641bb8m8txo7bS7A5cAnzKDKYyiKcQC8GgDcAuf

https://solscan.io/tx/3AugXqrXunBa96YfqENhPBiWZWpnSnJdqAHS64qcHTVU9KtfGon8cN9cUuXsDmBobBBXjYUtuRxnYxgERS42nh6G

https://solscan.io/tx/2SndtH3tU4j6v14HJzEde3d3dnpdHqTPn4VnvhTj4zKLo26H5kmtCwjn2nANfjXNVbmFsyEGtD4Jte25azsPwaRk

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

开发者提出如下几点建议：开发者在使用外部依赖的函数时，需要对这个函数有足够的了解。

随时关注外部依赖代码库的重要更新，在有重大版本变动时及时对自己的代码库做出相应的调整。

当代码版本更新时，也需及时进行全面审计，并将审计后的代码及时更新到已部署上链的代码中。

农历破五将至，希望大家“破五穷”。同时也希望每一个项目在经过严格的审计之后上线部署从而获得更高的安全性并减少财产损失的可能。好运从新的一年起开始不断“循环”；安全从严格的审计开始，每个项目都有更好的“开端”！

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

标签：CERSOLBLOLOCcere币怎么买SolRazrblockchain官方网站登录不了bloc币行情

狗狗币最新价格热门资讯