首发 | Solana跨链桥虫洞事件分析

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

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

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

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

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

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

蒂芙尼NFT“NFTiff”已连续3日无任何交易:金色财经报道,据nftgo数据显示,自8月14日开始,蒂芙尼NFT“NFTiff”已连续3日无任何交易,此前最后一次交易发生在8月13日,当日交易额为134,977.29美元。截至目前,“NFTiff”交易总额为356万美元,地板价为59 ETH,市值达到2766万美元。[2022/8/17 12:29:48]

铸币12万枚Wormhole ETH: 

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

将代币转到以太坊: 

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

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

OKT突破130美元关口 日内涨幅为41.58%:欧易OKEx数据显示,OKT短线上涨,突破130美元关口,现报130.2美元,日内涨幅达到41.58%,行情波动较大,请做好风险控制。[2021/5/20 22:26:35]

相比之下,以下截图是以真实的“sysvar account”作为参数的“verify_signatures”函数:

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

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

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

Uniswap创始人:并不是使用多数据源就能提升预言机数据质量:去中心化交易协议Uniswap创始人HaydenAdams撰文反对Chainlink创始人SergeyNazarov提出的观点,价格来源应该避免使用单个交易所的数据,无论是中心化交易所(CEX)或链上的去中心化交易所(DEX)。Adams认为,如果某个代币95%的交易量都来自于单一交易所,那它再和其他4个进行平均将会降低(价格来源)数据的质量。

他表示,如果某个资产在链下的CEX中的交易量更大,则Chainlink的数据相当重要,但是随着DEX不断蚕食CEX的交易量,CEX数据的相关性会不断下降。最后Adams还表示到,目前的AMM(自动做市商)还是很早的阶段,所以在AMM上改变价格可能会比在订单簿上更容易,这是由于资本效率低下,但不会长期存在,AMM最终会比CEX的操纵成本高很多。[2020/11/30 22:35:01]

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

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

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

② Account6 是“收件人”地址,用于接收铸造的Wormhole ETH。③ Account9 是 Wormhole ETH 的铸币机构,是一个 PDA(程序派生地址)。这就是为什么在签名验证通过后,攻击者可以直接铸造代币。

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

https://solscan.io/tx/j3jUDG43di8Dsg7Q3jQhstamtBovu1GLqnDJ7yNvM3r4pnK9e7uqgt9uBobCjT5S1BKhZZFQNQwDxypEYqLknec

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

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

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

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

 

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

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

开发者在使用外部依赖的函数时,需要对这个函数有足够的了解。

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

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

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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

欧易okex官网聊聊元宇宙

2010年去上海参观世博会,世博会有一盏看上去非常真实的燃烧着的灯。用手触摸一下是虚的,什么都没有。这一类声光电高科技给我的印象极为深刻。这不仅仅是3D技术,它是比3D技术更真实的模拟,使人具有身临其境的现实感。 这种感觉的体验是什么?如今的“元宇宙”大概可以清楚地告诉我们。

以太坊交易虚拟土地:NFT的下一个超级热点

前言:虚拟土地资产储值NFT可能会更先形成下一个超级热点。 NFT也是Token,而且具有比比特币更适合资产储值的特性,与实物NFT相比,更近的是数字资产NFT,与创作者作品NFT相比,虚拟土地资产储值NFT可能会更先形成下一个超级热点。

欧易okex官网半年翻几番 数字人民币个人钱包从2000万增至2亿+

移动支付网讯:2021年7月,中国人民银行发布《中国数字人民币的研发进展白皮书》。其中显示:截至2021年6月30日,数字人民币试点场景已超132万个,覆盖生活缴费、餐饮服务、交通出行、购物消费、政务服务等领域。开立个人钱包2087万余个、对公钱包351万余个,累计交易笔数7075万余笔、金额约345亿元。

[0:15ms0-0:515ms