木星链 木星链
Ctrl+D收藏木星链
首页 > AVAX > 正文

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

作者:

时间:1900/1/1 0:00:00

北京时间2022年2月3日凌晨1点58分,Solana跨链桥项目虫洞遭受攻击者发起的攻击。黑客绕过了Solana上的WormholeBridge验证过程,并为自己铸造了WormholeETH(wETH)。此次事件中,攻击者通过注入一个性的sysvar帐户绕过了系统验证步骤,并成功生成了一条恶意“消息”,指定要铸造12万枚wETH。最后,攻击者通过使用恶意“消息”调用了“complete_wrapped”函数,成功铸造了12万枚wETH,价值约3.2亿美元。该事件造成的损失金额之大,令其成为了DeFi史上第二大黑客攻击事件。虫洞简介

虫洞,又称爱因斯坦-罗森桥,也译作蛀孔。是宇宙中可能存在的连接两个不同时空的狭窄隧道。言归正传,其实Solana的跨链桥虫洞协议,确有虫洞在科学乃至科幻小说里相同的意思和定位。虫洞可连接两个不同时空的隧道,从而节约时间进行“传送”。而Solana的跨链桥虫洞协议,是连接以太坊的桥。简单来说,它帮助我们节约了交易的时间和周期,避开以太坊的拥堵从而体验到Solana的快速交易。漏洞利用交易

Cerebras Systems与阿联酋G42公司达成1亿美元的AI超级计算机协议:金色财经报道,Cerebras Systems宣布与总部位于阿拉伯联合酋长国(UAE)的技术集团G42签署了一项价值约1亿美元的协议。该公司在7月20日的一份声明中表示,该协议要求提供第一台人工智能(AI)超级计算机,并有可能再交付多达9台。

总部位于硅谷的Cerebras公司表示,G42已承诺收购其“秃鹰银河”系统中的3台,这是一个由9台相互连接的超级计算机组成的创新网络。这个网络中的第一台超级计算机,被称为秃鹰银河1号(CG-1),展示了4 exaFLOPs的性能,包含5400万个核。

这些系统将在美国制造,以加快部署。该公司表示,第一个系统计划于今年投入使用,而其余两个系统CG-2和CG-3预计将于2024年初上线。[2023/7/21 15:51:14]

铸币12万枚WormholeETH:https://solscan.io/tx/2zCz2GgSoSS68eNJENWrYB48dMM1zmH8SZkgYneVDv2G4gRsVfwu5rNXtK5BKFxn7fSqX9BvrBc1rdPAeBEcD6Es将代币转到以太坊:https://etherscan.io/address/0x629e7da20197a5429d30da36e77d06cdf796b71a#internaltx漏洞攻击流程

zkSync将与buidl box合作于2月20日至3月19日举办首个zkSyncEra?系列黑客松:金色财经报道,基于ZKRollup的以太坊二层网zkSync宣布将与buidl box合作开启zkSyncEra?系列黑客松中的首个,此次黑客松于2月20日至3月19日举行,专注于帐户抽象和Web3安全,奖池为2.5万美元。[2023/2/18 12:15:04]

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

CertiK完成3700万美元B轮融资:区块链安全公司CertiK周三宣布完成3700万美元B轮融资,以扩大其加密货币和DeFi行业的产品和安全能力。此轮融资由Coatue Management和Shunwei Capital领投,Coinbase Ventures等参投。(Cointelegraph)[2021/7/14 0:52:25]

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

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

基于以太坊的DeFi协议Balancer在Algorand上扩展:基于以太坊的DeFi协议Balancer计划在Algorand上扩展。Algorand首席运营官W. Sean Ford表示,一旦在Algorand区块链上启动,Balancer用户将能够与任何Algorand标准资产(ASA)建立流动性池或交易对。(The Block)[2021/4/6 19:52:01]

③然而,函数“load_current_index”并不能验证“sysvaraccount”是否真的是“systemsysvar”。由于从“sysvar”中检索到的当前指令是由攻击者控制的,因此它可以顺利通过以下验证过程。步骤二:攻击者随后使用上一步验证的签名调用“post_vaa”函数,并创建一个恶意消息帐户,声明要铸造12万枚wETH:https://solscan.io/tx/2SohoVoPDSdzgsGCgKQPByKQkLAXHrYmvtE7EEqwKi3qUBTGDDJ7DcfYS7YJC2f8xwKVVa6SFUpH5MZ5xcyn1BCK

区块链数据智能平台SixPencer支持合规稳定币HUSD数据查询:据官方消息,区块链数据智能平台SixPencer已经正式支持合规稳定币HUSD的数据查询。用户可以一键轻松获得HUSD相关知识图谱,同时系统会匹配与搜索词对应的最佳可视化图表。目前,平台已经支持HUSD最新的用户量、链上交易、以及市场数据查询。

SixPencer是一家区块链数据智能平台。致力于实现区块链数据智能大众化,打造一个人人都可通过搜索获取链上数据的开放平台,通过创新的搜索和分析工具,改变用户访问、理解和分析区块链数据的方式。

HUSD是由Stable Universal 发行的合规稳定币,与美元1:1锚定。HUSD对应的美元资产由美国信托机构托管,由知名的独立美国审计公司每月对资金进行审计。HUSD团队竭诚为用户提供安全、稳定、便捷的数字资产服务。[2020/7/7]

①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公众号底部对话框,留言免费获取咨询及报价!

标签:CERSOLSYSETHLibreFreelencerSolarfaresyscoinETHW

AVAX热门资讯
SOL:2021 年Solidity开发者报告:概览加密世界最庞大的开发者群体

Solidity语言的开发者使用情况如何?我们从400多份问卷中看到了这些。这是由Solidity官方开展的第二次结构化的年度大型Solidity开发人员调查,以Solidity语言的开发者使用.

1900/1/1 0:00:00
NFT:如何通往“可互操作性链游”的未来?

来源:Lisk.com探索NFT领域过程中,我经常遇到的一个词是“互操作性”。互操作性——异构系统和产品无缝接口的能力,常被认为是NFT如此具有开创性的关键原因.

1900/1/1 0:00:00
ROLL:Bankless:为什么说Layer2会是未来?

模块化链会是未来,而以太坊正在引领潮流,但在这个rollup范式中,我们仍然有很多问题。有哪些风险?ETH会捕获到价值吗?Layer2需要原生代币吗?可组合性如何?这一切可能会失败吗?有很多东西.

1900/1/1 0:00:00
区块链:Web3去中心化身份管理系统的历史、现状与展望

非常感谢RobGolden、HugoMasclet和CallumGrindle,他们帮助我完善了这篇文章。我也非常感谢与KEEZDAO的合作,为这个话题带来更多的关注.

1900/1/1 0:00:00
NFT:NFT数据日报 | “平价NFT”Squishy Apes by Degen Labs受到巨鲸青睐(2.10)

NFT数据日报是由Odaily星球日报与NFT数据整合平台NFTGO.io合作的一档栏目,旨在向NFT爱好者与投资者展示近24小时的NFT市场整体规模、交易活跃度、子领域市占比.

1900/1/1 0:00:00
Vitalik: 为什么「共享安全性」在跨链和跨rollup中如此重要?

译者注:随着其他L1公链和L2的交易活动日渐增长,跨链和跨rollup的需求也大大增加。而这便使得桥接产生一种”反网络效应“:当交易活动不多时网络就会非常安全;当交易多起来了,风险就越大(因为攻.

1900/1/1 0:00:00