“黑客拿着房主证明找物业拿钥匙,证明是假的,却从物业那里拿到了真的钥匙”
事件回顾
2021年8月10日,PolyNetwork遭受了跨链攻击,被转移了6亿美金的加密资产。攻击者在多条公链上进行了攻击交易,并通过跨链管理合约和中继器组件完成了攻击。
用上面物业的例子来解释的话,黑客用假房主证明,从物业那里拿到了真的钥匙(AllianceChain上经过签名的Merkle证明)。
攻击解析
一、黑客在源链上初始化了一个本应是无效的攻击交易。
二、攻击交易在没有被充分检查的情况下被写入源链,之后被中继器纳入了AllianceChain的Merkletree并签字,然后发布到AllianceChain区块中。
黑山刑事辩护律师:Do Kwon案达成引渡协议至少需要一年:金色财经报道,黑山的一名刑事辩护律师表示,Terraform Labs首席执行官Do Kwon在新冠隔离的10天里,是和一两个人合住,但隔离期过后,他将进入综合拘留所。那里的条件远比隔离区差,房间只有8平米、10-11个人,甚至没有床,被拘留者每天可以“绕街区走一圈”30分钟,可以从小卖部购买基本生活用品。
该律师认为,至少需要一年才能达成任何引渡协议;Kwon将首先在黑山法院接受刑事指控,审判可能需要大约四到五个月的时间,如果Kwon的案件被判有罪,其案件的细节可能会导致他被判处6个月至5年的监禁,而引渡程序至少需要四到五个月的时间;目前引渡到韩国的概率最大。(Protos)[2023/3/31 13:36:27]
三、黑客在目标链上用步骤二的有效Merkle证明,调用PolyNetwork的ECCM合约,将keepers改成黑客控制的公钥。
Web3 数据存储解决方案 KYVE 主网现已上线:3月18日消息,Web3 数据存储解决方案 KYVE 主网现已上线,并提出另一个基于 Cosmos SDK 的创新解决方案,以增强开发者体验,其目标是让数据成为一个无需信任的公共产品。KYVE 区块链分为两层:链层与协议层。链层是 KYVE 的主干,通过 DPoS 保护网络,治理与维护整体结构。协议层充当去中心化数据池,协议节点可以参与获取、存储与验证数据。3 月 21 日,KYVE 支持通货膨胀的治理提案将获得通过,确保 KYVE 主网功能更加齐全与安全,下一步是推出 KYVE 代币。同时,KYVE 数据管道也已上线,第一个数据池在测试网与主网上启动需要 6-8 周时间。在此期间,数据管道将继续从 KYVE 开发网 Korellia 的数据池中提取数据。[2023/3/18 13:12:25]
四、获得keepers权限后,黑客就可以在多条公链上任意解锁资产了。
Voyager向3AC贷款6.54亿美元期间双方只进行过一次尽职调查:金色财经报道,周二提交的法庭文件显示,就在申请破产几周前,加密对冲基金三箭资本(3AC)向借贷机构Voyager Digital发送了一份一页的净资产价值(NAV)声明。Voyager称向3AC贷款6.54亿美元,占其贷款组合的近58%,期间双方只进行了一次尽职调查。
这份日期为2022年5月13日的文件显示,三箭资本的资产净值略低于24亿美元。Voyager首席商务官Jon Brosnahan表示,根据财务总监Ryan Whooley的说法,这次尽职调查发生在2022年2月28日,持续了30分钟或一个小时。
文件还披露了Voyager Digital对三箭资本的尽职调查水平。Voyager尽职调查团队没有3AC的损益表、现金流量表或资产负债表。它没有对3AC的流动性进行任何压力测试。[2023/3/1 12:36:54]
这里值得注意的是,PolyNetwork在有些链上的中继器没有通过攻击交易,所以即使智能合约相似,某些目标链上资产并未受影响。
Zodia Custody与SBI Digital Asset Holdings建立合资企业:金色财经报道,加密资产服务提供商Zodia Custody Limited与SBI Digital Asset Holdings Co.,Ltd.宣布他们已达成最终协议,在日本成立合资企业。该合资企业将作为日本的加密资产托管人,面向机构客户。该合资企业由SBI DAH持股51%,Zodia Custody持股49%。Zodia Custody作为渣打银行的子公司并得到NorthernTrust的支持,SBI DAH是一家在SBI Holdings旗下监督和运营数字资产相关业务的公司。[2023/2/3 11:45:40]
细节分析
一、黑客于北京时间2021年8月10日17:32:32在源链发起了一笔攻击交易。
https://explorer.ont.io/tx/F771BA610625D5A37B67D30BF2F8829703540C86AD76542802567CAAFFFF280C#
我们对交易进行了解码,得到了以下参数映射。
二、此攻击交易调用了一个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证明之前,应该对交易进行全面验证。正如设计文档中所示。
“Themanagementcontractfetchestheblockheadersfrom?chainA,?verifies?whetherornotthecrosschainparametersandtheproofarevalid,and?then?transmitsthenecessaryinformationto?chainB?intheformofanevent;”
"管理合约从A链获取区块头,验证跨链参数和证明是否有效,然后将必要的信息以事件的形式传送给B链;"
因此,目标链应使用Merkle证明来验证所收到的信息是未被破坏和未被改变的,而交易信息应在发送至目标链之前进行全面验证。
附:Merkletree定义如下:哈希树可以用来验证计算机中和计算机之间存储、处理和传输的任何种类的数据。它们可以帮助确保从点对点网络中的其他对等体收到的数据块是未被破坏和未被改变的,甚至可以检查其他节点是否撒谎和发送假块。
有消息称,两个中国科学家团队已经实现了量子优势——指的是一台计算机可以执行传统计算机以外的功能——这可能标志着我们已经真正进入了一个新时代.
1900/1/1 0:00:00点击上方“蓝色字”可关注我们!暴走时评:Tether旗下的新企业Synonym计划通过将闪电网络的速度与开放的点对点平台的架构相结合,加速实现超比特币化.
1900/1/1 0:00:00??投资寄语:保持保守的仓位在遇到危机时是至关重要的:它可以使人理性的进行自己的每一次操作部出现失误,我的交易理念就是合理控制自己的仓位,不让自己陷入破釜沉舟的地步.
1900/1/1 0:00:00????????本次主题:与KCC一起探索公链生态的新机会AMA信息:时间:4:00-5:00PM(GMT+8)|?2021年11月18日AMA渠道:https://t.
1900/1/1 0:00:00原文标题:《项目速览:学院派稳定币新秀AngleProtocol》研究员:李雨轩第一节研报要点——▌1.核心投资逻辑AngleProtocol具有设计精妙的稳定币机制.
1900/1/1 0:00:00撰文:Footprint分析师Simon(simon@footprint.network)日期:2021年11月数据来源:FootprintStablecoinDashboard相信大部分用户真.
1900/1/1 0:00:00