Cosmos联创:BNB Chain攻击事件中黑客通过RangeProof伪造Merkle证明_OSM:ERK

对于近日BSC跨链桥攻击事件,Cosmos联合创始人EthanBuchman在推特上表示,此次事件问题的关键在于黑客能够伪造Merkle证明。这本不应该,因为Merkle证明应该提供高完整性。区块链轻客户端建立在Merkle证明之上,许多区块链将数据存储在Merkle树中,这样就可以生成证明,证明某些数据包含在树中。币安的情况是攻击者能够证明某些数据在树中,但它实际上不在树中。Cosmos链使用一种称为IAVL的Merkle树,IAVL存储库公开了一个使用范围证明“RangeProof”的API,但事实证明RangeProof的内部工作存在严重错误。一个证明应该由一个叶节点和一系列内部节点组成,这些节点勾勒出树中从叶到根的路径,具有足够的信息来计算树的Merkle根哈希并验证叶实际上是树的一部分。因为这是一个二叉树,所以每个内部节点都可以有一个左分支和右分支。但证明是通过跟踪树中的路径,所以内部节点应该只包含其左分支或右分支哈希,另一个是根据证明中其他节点的哈希构造的。IAVLRangeProof的代码问题在于其允许填充InnerNode中的Left和Right字段,攻击者基本上利用了将信息粘贴到Right字段中的优势,这些信息从未得到验证,也从未影响哈希计算,以使验证者相信某些叶节点是树的一部分。因此,他们成功地伪造了Merkle证明。

Web3人工智能孵化创新平台NeoCortexAI完成新一轮融资:金色财经报道,Web3人工智能孵化创新平台NeoCortexAI完成新一轮融资,具体金额暂未披露,Oddiyana Ventures、Triple Gem Capital、Ferreum network和Farium Ventures参投,该公司旨在通过这笔新资金实施合成智能 (AI) 来进一步优化区块链技术并通过孵化、加速 AI 计划以及无缝将Web2 AI过渡连接到Web3 AI。(cryptonewsbtc)[2023/3/19 13:12:44]

Buchman表示,虽然使用RangeProof不是一个好主意,但有一个方式或可以解决这个问题,即当任何内部节点同时填充了左右字段时,则预先拒绝证明。虽然RangeProof是核心Cosmos存储库(IAVL)的一部分,但它实际上并未用于Cosmos堆栈中的区块链协议。IAVL树本身被所有Cosmos-SDK链使用,但RangeProof不是。对于IBC中的Merkle证明,IBC没有使用IAVL树的内置RangeProof系统,而是使用ICS23标准从IAVL树生成和验证Merkle证明,ICS23代码没有这个漏洞,它可明确“拒绝”范围证明。

美国、中国、印度成为Web3人才三大聚集地:9月4日消息,根据全球区块链行业人才洞察报告,2022年全球Web3人才同比增长76%,美国、中国和印度是区块链人才的三大聚集地;NASSCOM报告《Crypto Tech India》显示,印度Web3行业在过去五年中增长了39%,雇佣了近5万人。(financialexpress)[2022/9/4 13:08:09]

据悉,Cosmos旧版本存在RangeProof相关漏洞,目前Cosmos链经过多次迭代更新,根据Buchman的说法,虽然币安是Cosmos软件的最大用户,但其不关注Cosmos进展,所以导致此次攻击事件。

Entrepreneur First完成1.58亿美元C轮融资,将投资Web3等领域:6月29日消息,投资基金Entrepreneur First宣布完成1.58亿美元C轮融资,多位科技界人士参投,包括Stripe联合创始人John Collision、LinkedIn联合创始人ReidHofman、Certific联合创始人Taavet Hinrikus等。据悉,该基金成立于2011年,专注于金融科技、D2C、Web3和创作者工具等领域投资。(entrepreneur)[2022/6/29 1:40:07]

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

金宝趣谈

[0:14ms0-4:119ms