“黑客拿着房主证明找物业拿钥匙,证明是假的,却从物业那里拿到了真的钥匙”
事件回顾
2021年8月10日,PolyNetwork遭受了跨链攻击,被转移了6亿美金的加密资产。攻击者在多条公链上进行了攻击交易,并通过跨链管理合约和中继器组件完成了攻击。
用上面物业的例子来解释的话,黑客用假房主证明,从物业那里拿到了真的钥匙(AllianceChain上经过签名的Merkle证明)。
攻击解析
一、黑客在源链上初始化了一个本应是无效的攻击交易。
Game Space加入Polygon向Steam用户空投NFT,并支持NFT资产充提:8月2日消息,GameFi as a Service平台Game Space加入Polygon宣布面向十亿Steam玩家开启NFT空投活动,并添加Polygon链NFT资产充提功能。
这意味着Polygon将成为继以太坊、BNB Chain之后,Game Space支持的第三个区块链网络,游戏厂商可以通过Game Space的SDK,快速有效地在Polygon 上构建GameFi应用程序和部署NFT智能合约。[2022/8/2 2:53:37]
二、攻击交易在没有被充分检查的情况下被写入源链,之后被中继器纳入了AllianceChain的Merkletree并签字,然后发布到AllianceChain区块中。
三、黑客在目标链上用步骤二的有效Merkle证明,调用PolyNetwork的ECCM合约,将keepers改成黑客控制的公钥。
Web 3.0订阅NFT社交网络ShowMe正式版上线Polygon:12月31日消息,Web 3.0订阅NFT社交网络ShowMe今日正式登陆Polygon,并计划近期陆续支持Ethereum、BSC、Avalanche、MoonRiver、Harmony、PlatON等网络。
据悉,ShowMe是一个基于Web 3.0 的订阅NFT社交网络,通过订阅和PONA(Proof of NFT Achievements)来支持项目、社区、KOLs、DAO、Gamefi等。订阅支持创作者设定多种进入Club的订阅方式:免费订阅、付费订阅、持仓NFT和持仓Token订阅。PONA是一个基于链上可自动升级的NFT徽章体系,通过等级、任务和活动等多种类型的NFT等级和数量可以精确衡量每一个用户对创作者的价值。[2021/12/31 8:17:01]
四、获得keepers权限后,黑客就可以在多条公链上任意解锁资产了。
Sushi在Polygon上总锁仓量达10亿美元:SushiSwap在推特上表示,在不到一个月的时间里,Sushi在Polygon上的总锁仓量已达10亿美元。[2021/6/3 23:08:17]
这里值得注意的是,PolyNetwork在有些链上的中继器没有通过攻击交易,所以即使智能合约相似,某些目标链上资产并未受影响。
细节分析
一、黑客于北京时间2021年8月10日17:32:32在源链发起了一笔攻击交易。
https://explorer.ont.io/tx/F771BA610625D5A37B67D30BF2F8829703540C86AD76542802567CAAFFFF280C#
报告:开发者对Polkadot、Cosmos等多链协议更感兴趣:金色财经报道,加密货币风投机构Outlier Ventures在最新报告指出,相比EOS等“以太坊杀手”,开发者对DeFi和多链协议更感兴趣。据悉,核心开发和开发者对Polkadot、Cosmos和Avalanche等多链协议的贡献持续增长。与此同时,EOS、Komodo和Qtum的核心开发指标正在下降。[2021/2/4 18:50:00]
我们对交易进行了解码,得到了以下参数映射。
MXC抹茶现已支持Polkadot(DOT)资产映射及交易:MXC抹茶现已支持Polkadot(DOT)资产映射及交易。映射成功即视为领取Polkadot主网资产。
据官方介绍,用户可前往MXC抹茶官网首页,在右上角「资产」中,点击「我的资产」,点击「充值」,选择DOT(Polkadot),点击生成充值地址并复制。按照相关流程操作后,充值地址将被用作后续映射地址。映射完成后,用户可直接参与DOT交易,以及后续转账、Staking等操作。完整映射流程请阅读相关公告。[2020/6/29]
二、此攻击交易调用了一个method"66313231333138303933",其对应的签名等于0x41973cd9。这笔交易应该是无效交易,可是却被写入源链并被中继器纳入了AllianceChain的Merkletree并签字,然后发布到AllianceChain区块中。Merkletree是用来证明交易是否真实存在的。其产生的跨链交易如下:
https://explorer.poly.network/tx/1a72a0cf65e4c08bb8aab2c20da0085d7aee3dc69369651e2e08eb798497cc80
三、跨链交易在目标链上调用了PolyNetwork合约的EthCrossChainManager.verifyHeaderAndExecuteTx(),第一个参数包含了Merkle证明,解析如下:
四、这个函数解析了Merkle证明,发现证明是有效的,此攻击交易确实存在于已被签名的Merkletree中。之后调用了EthCrossChainManager._executeCrossChainTx()函数去执行此交易,即调用toContract指向合约(0xcf2afe102057ba5c16f899271045a0a37fcb10f2)中的method(0x6631313231333138303933),传入参数args(010000000000000014a87fb85a93ca072cd4e5f0d4f178bc831df8a00b)。而这个method指向putCurEpochConPubKeyBytes(bytes),因为其函数签名与步骤二中提到的method签名相同(均为0x41973cd9,此处为哈希碰撞),所以被顺利执行,将keepers的公钥改成了黑客的公钥。以太坊上的交易如下:?
https://etherscan.io/tx/0xb1f70464bd95b774c6ce60fc706eb5f9e35cb5f06e6cfe7c17dcda46ffd59581
五、黑客改变公钥后,即可以随意解锁资产。
事件总结
此次攻击是由一连串交易构成的,其攻击根源分析如下:
一、攻击交易在没有充分检查的情况下被写入源链。
二、中继器会接收任意含有"makeFromOntProof"事件的交易。
三、中继器将步骤一中的交易发布到了AllianceChain上。
四、在步骤二中,此攻击交易被纳入到AllianceChain的Merkletree上,产生了有效的Merkle证明。
五、原链上的ECCM合约通过步骤二产生的Merkle证明,验证了该交易在源链上“确实存在”,原始数据并未被破坏、未被修改。不过需要强调的是,在构建将被发送到目标链的Merkle证明之前,应该对交易进行全面验证。正如设计文档中所示。
“ThemanagementcontractfetchestheblockheadersfromchainA,verifieswhetherornotthecrosschainparametersandtheproofarevalid,andthentransmitsthenecessaryinformationtochainBintheformofanevent;”
"管理合约从A链获取区块头,验证跨链参数和证明是否有效,然后将必要的信息以事件的形式传送给B链;"
因此,目标链应使用Merkle证明来验证所收到的信息是未被破坏和未被改变的,而交易信息应在发送至目标链之前进行全面验证。
附:Merkletree定义如下:哈希树可以用来验证计算机中和计算机之间存储、处理和传输的任何种类的数据。它们可以帮助确保从点对点网络中的其他对等体收到的数据块是未被破坏和未被改变的,甚至可以检查其他节点是否撒谎和发送假块。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。