原文作者：Cosmos 联合创始人Ethan Buchman
关于币安黑客事件的一些想法。Binance是Cosmos软件的最大用户，他们运营着一个价值数百亿美元的平台，但没有对核心软件做出有意义的贡献或参与。从这里发生的事情中，我们可以学到很多。
你可能看到了 samczsun 的优秀推文贴展示了这个问题。https://twitter.com/samczsun/status/1578167198203289600 让我们尝试补充一些有关情况的详细信息。
一个官方防御补丁已发布在这里：https://forum.cosmos.network/t/cosmos-sdk-security-advisory-dragonfruit/7614
Web3解决方案Cosmic Wire获得3000万美元种子轮融资:金色财经报道，Web3和区块链解决方案Cosmic Wire在其种子轮融资中融资3000万美元，该融资由Solana基金会和Polygon领投。Cosmic Wire将利用这笔资金加速开发一个更加分散、透明和安全的数字Web3生态系统。[2023/7/19 11:04:59]
友情提醒：如果你发现 Cosmos 软件存在潜在漏洞，请遵循我们负责任的披露流程：
https://github.com/cosmos/cosmos-sdk/blob/main/SECURITY.md
问题的症结在于黑客能够伪造一个默克尔证明（merkle proof），这不应该是可实现的 - 默克尔证明应该是高度安全的。区块链轻客户端（以及 IBC）建立在默克尔证明（merkle proof）之上，因此正确处理它们很重要。
Injective与Astar集成，允许Polkadot生态资产进入Cosmos生态:4月28日消息，Cosmos生态智能合约平台Injective宣布集成了Polkadot平行链Astar Network，首次将Polkadot平行链带入更广泛的IBC生态系统。通过此次集成，Astar资产现在可以进入Injective生态系统和更广泛的Cosmos生态，并将两个强大的网络整合到更广泛的Polkadot和IBC宇宙中。据悉，Injective近期与Celer Network的集成，为这项合作提供了基础，使得ASTR资产能够通过cBridge进行跨链。[2023/4/28 14:32:46]
默克尔证明是数据存储中存在某些键值对的密码学证明， 我们可以称之为“包含证明”。很多区块链将其数据存储在一棵默克尔树（merkle tree）中，以便可以生成证明某些数据包含在树中的证明。
默克尔证明在 IBC 中被大量使用，例如，一个区块链可以证明它有一个指向另一个区块链的数据包。当然，如果你可以证明某些数据在树中，但实际上并没有，那将是一个大问题。而这就是在 Binance 身上发生的事。
Cosmos生态首个DEX平台Osmosis总锁仓量为12.3亿美元:金色财经报道，据TokenTerminal数据显示，Cosmos生态首个DEXOsmosis总交易量已达80.62亿美元。同时，Osmosis总锁仓量为12.3亿美元。据悉，Osmosis计划在未来拓展至包括以太坊在内的多个区块链网络。[2022/1/16 8:51:56]
Cosmos 链使用一种称为 IAVL 的默克尔树，它位于 IAVL 存储库中。它附有一首关于默克尔树有多棒的诗。IAVL 是一个自定义的默克尔化平衡二叉搜索树，它类似于以太坊的帕特里夏树（patricia trie）。
https://github.com/cosmos/iavl/blob/master/POEM
每个区块链开发人员在接触这些结构的架构和算法时，都不得不陷入默克尔树的疯狂之中。
IAVL 存储库公开了一个 API，用于使用一个“RangeProof”对象构建和验证证明。一个范围证明（Range Proof）用于证明某些范围的 key 在默克尔树中并列存在。
火币全球站已暂停ATOM(Cosmos)充提业务:官方消息，由于ATOM钱包升级，火币全球站已暂停ATOM(Cosmos)的充提业务。[2021/6/24 0:02:06]
一个范围证明还可用于证明单个键值对（范围大小为 1），或证明某个键不在树中（范围大小为 2）。
IAVL 存储库将 RangeProof 对象用于所有三种证明（包含、不存在、范围内的键）。但事实证明 RangeProof 的内部工作存在一个严重漏洞。
一个证明应该由一个子叶节点和一系列内部节点组成，这些节点勾勒出从子叶到根的路径，并具有足够的信息来计算树的 merkle 根哈希并验证子叶实际上是树的一部分。
由于这是一棵二叉树，所以每个内部节点都可以有一个左分支和右分支。但是在证明中，你是在树中跟踪路径，因此内部节点应该只包含其左分支或右分支哈希。另一个是由证明中其他节点的哈希构造的。
金色沙龙 | Eric Chen：Cosmos所做的很大一点就是跨链价值交换:在今日举行的金色沙龙中，针对“数据封闭究竟对区块链行业的发展带来了哪些阻碍”的问题，injective Protocol联合创始人及CEO Eric Chen表示，我们可以从两个角度来看，一个是链上数据封闭的问题，也就是cosmos着手解决的方面。另外一个是链下或者现实世界数据问题，其实cosmos也可以通过一个zone来引入更可信可靠的预言机机制。在链上数据方面，我们会发现很多区块链生态圈内大半部分的价值转换都是链与链之间的，BTC-USD这个世界交易量最高的市场就是一个很好的例子。现在我们看的市场都是通过中心化机制像是交易所来实施这种价值转换，也当然从一开始就吸取了血的教训。Cosmos所能做到的跨链技术在很大一点就是着重于跨链价值交换，也是算是数据交换的一种。当然了，cosmos本身强大的横向增发也为基础链提供了无限的可能，并为基础链的通量瓶颈带来舒缓。而在链下数据方面，我们知道一直是以太坊以及多个智能合约平台的痛点。而预言机也从此变成了智能合约链中的核心模组。然而随着cosmos的引入，我们会发现很多预言机的负担会从此减重。最近很多预言机像Chainlink和synthetix也都受到了攻击和失控，导致庞大的DeFi生态圈造成损失。我相信很快也会有开发团队利用cosmos和tendermint所带来的PoS instant finality 优势而开发更加去中心化并且可靠的预言机。[2020/4/29]
这就是 IAVL RangeProof 的代码遇到问题的地方。IAVL RangeProof 允许填充 InnerNode 中的 Left 和 Right 字段。而这不应该发生。
攻击者基本上利用了将信息粘贴到 Right 字段中的优势，它们从未经过验证，也从未影响哈希计算，从而使验证者相信某些子叶是树的一部分。因此，他们成功地伪造了一个默克尔证明。
值得注意的是，这个问题取决于攻击者能否将子叶添加到单个证明中，因为 RangeProof 允许你一次证明多个子叶。因此，即使你的协议只希望一次证明一个 key，使用 RangeProof 也会为攻击者打开攻击面。
所以使用 RangeProof 并不是一个好主意。但是我们也可以提出一个简单的防御措施——如果任何内部节点同时填充了 Left 和 Right 字段，则预先拒绝证明。这样做应该可以解决这个问题。
虽然 RangeProof 是一个核心 Cosmos 存储库 (IAVL) 的一部分，但它实际上并未用于 Cosmos 堆栈内的区块链协议中。IAVL 树本身被所有 Cosmos SDK 链使用，但 RangeProofs 并没有。这是理解的关键！
相反，对于 IBC 中的默克尔证明，开发者按照 IBC 标准设定的更严格的流程开发了一个新规范。该规范称为 「ICS23」，它位于 IBC 规范存储库中：https://github.com/cosmos/ibc 中。
那什么是 ICS23？这是支持多种默克尔树的默克尔证明的通用标准（包括 IAVL 树）。ICS23 定义了一种用于序列化和验证默克尔证明的通用格式。
IBC 没有使用 IAVL 树的内置 RangeProof 系统，而是使用 ICS23 标准来生成和验证 IAVL 树的默克尔证明。而 ICS23 代码中并没有这个漏洞。
这不仅仅是使用不同的代码，并因此侥幸躲过一劫的问题。这代表了一种根本不同的软件工程方法。
ICS23 遵循更严格的设计流程，旨在最大限度地减少攻击面，同时仍然是通用的，这是一项艰巨的任务！作为其中的一部分，它明确地拒绝了 range proofs，ICS23 中并没有 range proofs。
因此，该漏洞本身在 ICS23 规范中是不可接受的，这是好的，IBC 的目标是使跨链通信更加安全。
当然，IBC 规范和协议可能并不完善，并将继续改进。作为一个复杂的协议和软件实现，它（IBC）甚至可能存在我们社区必须应对的尚未被发现的漏洞，安全需要一个社区。
我们都必须认真对待安全。如果发现潜在漏洞，请负责任地披露：https://github.com/cosmos/cosmos-sdk/blob/main/SECURITY.md。
如果你可以为改进软件和协议做出贡献，我们邀请您这样做！
总的来说，这次事件是一个机会，它提醒了大家在软件开发生命周期中加强安全实践的重要性，传播一些关于 IBC 是什么及其工作方式的一些认识，并邀请整个生态来帮助改进 IBC。
跨链桥黑客对我们的行业来说是一个真正的问题，如果不认真致力于更高的安全性和标准流程，它们（跨链桥）就不会变得更好。让 IBC 成为一个光辉的例子。
这里还有一个关于使用开源软件的重要教训：遵循最佳实践，保持最新状态，并向上游贡献资源！很高兴看到 binance 成为更负责任和协作的生态参与者！
金色财经Maxwell
Bankless
金色荐读
FastDaily
中国金融杂志
巴比特资讯
元宇宙之道
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。