惊天魔盗,近2亿美金损失,Nomad Bridge攻击事件分析-ODAILY_ESS:ROO

北京时间2022年8月2日,CertiK安全团队监测到NomadBridge遭受攻击,导致了价值约1.9亿美元的损失。

合约的问题在于在initialize()函数被调用的时候,“committedRoot”被设成了0x00地址。因此,攻击者可以通过消息的验证,将在桥合约中的代币转移。

攻击步骤

①攻击者调用process()函数开始攻击。

②process()函数中调用了acceptableRoot(messages),这个函数检查了被提交的root以及OptimisticTimeOut是否过期。

Avalanche推出“Banff 5”升级,为子网引入互操作性:金色财经报道,Avalanche开发人员已经将AvalancheGo--Go编程语言中的区块链软件实现升级到 \"Banff 5\"。这次升级对Avalanche网络至关重要,因为它为基于Avalanche的区块链(称为子网)引入了一种通信协议Avalanche Warp Messaging。该功能将允许子网相互分享数据和加密货币资产,努力使Avalanche生态系统对开发者更有用。(the block)[2022/12/23 22:02:20]

③此时函数acceptableRoot(messages)返回了true,也就是说这条message就被批准了。这是因为0x0000在初始化过程中被设置为了true。

SBF 正在取消推特关注其他加密人士:12月13日消息,据Big Crypto Alert,FTX创始人正在取消推特关注其他加密人士,包括知名KOL Cobie等。[2022/12/13 21:40:53]

④当这条message被批准后,攻击者即可从桥中转移资金。

攻击交易

攻击示例:

○在MoonbeamBridge上转移了0.01WBTC:https://moonscan.io/tx/0xcca9299c739a1b538150af007a34aba516b6dade1965e80198be021e3166fe4c

币安推出定投“CMC前十数字资产”指数相关计划:12月5日消息,据官方公告,币安宣布已推出定投指数相关计划,自12月5日13:00起,用户可以在定投上购买CoinMarketCap(CMC)市值排名前十的数字资产。

据介绍,通过新发布的“币安CMC前十等权重指数”,用户现在可以追踪CMC中市值排名前十的数字资产表现。定投指数相关计划允许用户自动购买构成指数的加密货币。用户可以定期购买与指数比例相同的加密货币,每月调仓也为用户提供了便捷,指数随时间变化时,可继续持有与指数相同比例的加密货币。[2022/12/5 21:23:17]

○在EtheremBridge接受了100WBTC代币转移:https://etherscan.io/tx/0xa5fe9d044e4f3e5aa5bc4c0709333cd2190cba0f4e7f16bcf73f49f83e4a5460

美国参议员:我们正在用20世纪的法规来监管这一21世纪的技术:金色财经报道,美国参议员Cynthia Lummis在社交媒体上表示,超过3400万美国人报告拥有某种形式的数字资产。我们正在用20世纪的法规来监管这一21世纪的技术。现在是升级的时候了,Lummis-Gillibrand计划实现了这一点。[2022/6/15 4:28:22]

漏洞分析

在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可提供部署阶段后的附加服务——合约验证,其中包括对智能合约的分析和部署后合约验证的深入分析。

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

水星链

[0:0ms0-1:38ms