CertiK:Solana跨链桥虫洞事件分析_SOL:SYS

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

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

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

虫洞简介

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

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

近1亿枚USDT从Hotbit转入未知钱包:金色财经报道,据Whale Alert监测,5分钟前有99,999,990枚USDT(约100,069,989美元) 从Hotbit转入未知钱包。根据链上记录,该地址在不同交易所之间进行转账,疑似为第三方托管服务地址。[2023/6/27 22:02:17]

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

漏洞利用交易

铸币12万枚WormholeETH:?

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

哈萨克斯坦自去年以来已向加密矿企收取744万美元税款:金色财经报道,哈萨克斯坦政府在2022年向该国开采加密货币的企业征收了近690万美元税款,该税款自去年1月1日起开始征收。此外,财政部表示2023年第一季度的加密税款必须在5月25日之前支付,截止4月27日,财政部已收到54万美元。

此前消息,哈萨克斯坦总统于今年2月签署了一项限制国内加密矿工使用能源的法律。[2023/5/6 14:47:19]

将代币转到以太坊:?

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

漏洞攻击流程

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

数字银行Atom Bank完成3000万英镑融资:金色财经报道,BBVA、Toscafund和Infinity Investment Partners已同意向Atom Bank投资3000万英镑,因为这家英国数字银行已准备好在2024年进行首次IPO。Atom Bank此前在 2 月份筹集了 7500 万英镑,使他们今年的融资总额达到 1.05 亿英镑。新资金将用于推动进一步放贷。据英国《金融时报》援引消息人士称,这家数字贷款机构现在计划在上市前于明年上半年进行最后一次私募融资,筹资约 5000 万英镑。[2022/11/28 21:06:06]

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

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

Bnk To The Future终止与SALT Blockchain的收购意向书:金色财经报道,在线投资平台 Bnk To The Future宣布其先前达成的与SALT Blockchain, Inc. (SALT)的非约束性收购意向书已终止,原因是Salt Lending在FTX的敞口以及Bnk To The Future的失败尽职调查,因此拟达成的交易将不会进行。声明称,Bnk To The Future不受Salt和FTX的影响,因为Bnk To The Future与SALT或FTX没有直接或间接的联系,所有客户资金都是完全隔离和未投资的。

此前报道,Bnk To The Future 9月份同意以未公开的金额购买Salt Lending,以便让用户能够借入其持有的加密货币,该交易取决于签署最终协议并获得监管批准。[2022/11/16 13:10:09]

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

CME“美联储观察”:11月加息75个基点的概率为87.5%:10月24日消息,据CME“美联储观察”,美联储11月加息50个基点至3.50%-3.75%区间的概率为12.5%,加息75个基点的概率为87.5%;到12月累计加息100个基点的概率为0%,累计加息125个基点的概率为44.4%,累计加息150个基点的概率为50.3%。[2022/10/24 16:36:38]

步骤二:攻击者随后使用上一步验证的签名调用“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公众号底部对话框,留言免费获取咨询及报价!

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

水星链

DYDX KPMG: 新加坡2021年加密投资跳涨13倍

点击上方“蓝色字”可关注我们!暴走时评:毕马威预测,尽管监管审查不断深入,今年新加坡的加密货币投资将保持强劲。根据毕马威的《金融科技脉搏》报告,新加坡去年的加密货币相关投资增长了10倍多.

[0:0ms0-0:952ms