北京时间2022年8月2日,CertiK安全团队监测到NomadBridge遭受攻击,导致了价值约1.9亿美元的损失。
合约的问题在于在initialize()函数被调用的时候,“committedRoot”被设成了0x00地址。因此,攻击者可以通过消息的验证,将在桥合约中的代币转移。
攻击步骤
①攻击者调用process()函数开始攻击。
②process()函数中调用了acceptableRoot(messages),这个函数检查了被提交的root以及OptimisticTimeOut是否过期。
③此时函数acceptableRoot(messages)返回了true,也就是说这条message就被批准了。这是因为0x0000在初始化过程中被设置为了true。
④当这条message被批准后,攻击者即可从桥中转移资金。
攻击交易
攻击示例:
○在MoonbeamBridge上转移了0.01WBTC:?https://moonscan.io/tx/0xcca9299c739a1b538150af007a34aba516b6dade1965e80198be021e3166fe4c?
○在EtheremBridge接受了100WBTC代币转移:https://etherscan.io/tx/0xa5fe9d044e4f3e5aa5bc4c0709333cd2190cba0f4e7f16bcf73f49f83e4a5460?
漏洞分析
在Replica合约中,“committedRoot”被错误地初始化为0?。
合约地址:https://etherscan.io/address/0x88a69b4e698a4b090df6cf5bd7b2d47325ad30a3
函数process通过调用函数acceptableRoot()确保messagehash能通过验证。
函数acceptableRoot()会检查root是否已经被proven,processed或者confirmed。
然而在初始化的交易中0x53fd92771d2084a9bf39a6477015ef53b7f116c79d98a21be723d06d79024cad,owner传入了0x00并且它对应的`confirmAt`也会在初始化中被设为1。
因此0x00可以被当作一个`acceptableRoot`,这也可以在replica合约中查询到https://etherscan.io/address/0xb92336759618f55bd0f8313bd843604592e27bd8。
Prove函数的实现导致了一条unprovenmessage的root是0,而0作为一个有效的confirmedroot可以通过require的检查。攻击者只需调用process函数就能从桥中转移资金。
资金去向
大约价值1.9亿美元的代币从桥合约中转移出去。
https://defillama.com/protocol/nomad?denomination=USD?
写在最后
由于该问题是由部署参数中的错误引起的,我们假设所有的部署和配置都是正确的,那么在传统的审计中确实很难发现该问题。然而,在包含验证部署过程等更广泛的审计过程中,是可以有效指出该问题的。
CertiK可提供部署阶段后的附加服务——合约验证,其中包括对智能合约的分析和部署后合约验证的深入分析。
来源:金色财经
加密做市商XBTO计划在迈阿密提供比特币抵押贷款服务:4月5日消息,加密货币做市商XBTO将为其首个比特币支持的抵押贷款提供资金,XBTO计划在未来几周内在迈阿密敲定数百万美元的抵押贷款.
7月28日,隐私计算网络OasisNetwork开发商OasisLabs宣布与Meta建立合作伙伴关系.
大家好,我是老张,相信苦了半年的大家不想错过八月及九月的机会,老张也同样不想错过,首先恭喜还活在币圈的朋友,把握住八月九月的机会,足以让之前的亏损连本带利挣回,错过这一轮小牛大行情.
导演第759篇原创每日行情分析2022.07.29 一、市场情绪: 二、图表结构: 1、大饼: 大饼1H结构: ???目前大饼已经段内背驰了**.
为什么ETH这次的升级被认为是区块链“第三次革命”? 什么是以太坊合并? ETH的合并指的就是主网与其信标链进行合并;更确切的说是将信标链与现存的链合并,并舍弃了原执行层的PoW部分.
在过去的几个月里,清算已经成为加密货币世界新闻周期的头条。本文将解释清算概念、为什么会发生清算,以及人们可以采取哪些措施来避免它们.