Published Aug 9, 2022
By Qredo Team
跨链桥的诅咒── Nomad 黑客攻击事件解析
太长不读版:
Nomad hack 是由用于在两个不同区块链架构之间创建链接的复杂智能合约引起的漏洞的结果。
Qredo 对区块链互操作性采取了完全不同的方法——不是直接将区块链与智能合约桥接,而是通过 Qredochain 作为可互操作的第 2 层网络进行链接。 资产始终由分散的 MPC 保护。
回到狂野西部,最大的抢劫案是火车抢劫案。
在加密货币的金融前沿,运输中的资产也被证明是一个有利可图的目标。
根据 Chainalysis 的数据,截至 2022 年,跨链桥黑客攻击占黑客攻击的 69%,被盗的金额超过 20 亿美元,跨链安全的想法正受到审查。
在这篇文章中,我们解开最新的跨链黑客——2022 年 8 月的 Nomad 黑客——并解释为什么 Qredo 为区块链互操作性提供了更好的模型。
桥的类型
要在区块链之间移动资产,您可以在两种类型的桥接器之间进行选择:受信任的和无需信任的。
受信任的桥使用一个集中的实体进行操作,要求您依赖受信任方的安全性并放弃对您资产的控制权。 这种模式与加密的点对点精神背道而驰。
无需信任的桥依赖于智能合约和算法。 您可以保持对资产的控制,但必须依赖智能合约和底层区块链的安全性。
去信任的桥梁:黑客的热门目标
去信任的桥梁通常通过在每条链上都有智能合约来工作。 代币被锁定在一条链上的智能合约中,然后在另一条链上重新发行,通常以“包装”的形式。
例如,要将 100 个代币从 Solana 转移到以太坊,代币持有者会将代币锁定到 Solana 上的桥接智能合约中。 然后,桥接合约将在以太坊上铸造 100 个等价或包装版本的代币。
为了将代币归还给原链,代币持有者会将代币发送回智能合约进行销毁,从而触发另一条链上的桥接合约释放代币。
这些网桥不断成为攻击者目标的主要原因有两个:
价值
跨链桥通常在其智能合约中持有大量资产。
2. 漏洞
架构、共识算法和编程语言的技术差异可能使连接单独的区块链变得非常困难。 很容易犯错误——导致攻击者可以利用的漏洞。
Nomad hack 是如何发生的
Nomad 桥支持在包括 Avalanche 和以太坊在内的多个区块链之间传输代币。 在最新的跨链攻击中,它耗尽了价值超过 1.5 亿美元的加密资产。
那么这是怎么发生的呢?
Nomad 桥有两个组成部分:每条链上的智能合约,以及跨链保护和中继状态的链下代理。
该漏洞利用了最近的升级,该升级使接收链上的智能合约(称为“副本合约”)容易受到破坏。
要准确了解这是如何发生的,我们需要熟悉一种称为 Merkle 树(AKA 哈希树)的特定数据结构。
什么是哈希树?
哈希树是密码学和数据科学中用于为数据集生成唯一标识符的数据结构。在区块链中,哈希树用于加密、汇总和验证块中的所有数据。 通过这种方式,它们就像一个数字指纹,可以快速验证一个块中的所有数据在网络对等点之间传递时是否完整、未损坏且未更改。 哈希树的一个关键元素是 Merkle Root。 这是所有散列交易(称为“叶子”)的散列,表示该块中包含的所有数据的完整性。
那么Nomad桥发生了什么?
通常,初始化的交易哈希与包含交易的区块的默克尔根哈希相关联。 这使验证者能够检查交易是否已被证明,并更新区块链的状态。
未经证明的消息的 Merkle Root 将是 0x00,因为该消息将未初始化。
事实证明,在例行升级期间,Nomad 团队意外地将可信根初始化为 0x00。 这意味着默克尔树没有证明交易是有效的。
因此,任何人都可以简单地找到现有的交易从桥中提取资产,并用他们自己的地址替换目标地址,然后将其重新广播到区块链以获取资产。
一旦最初的攻击者证明这是可能的,其他人很快就加入了——创造了所谓的第一次去中心化抢劫事件。
Qredo 的跨链互操作性方法
与最近几乎所有其他桥梁黑客一样,Nomad 黑客是用于在两个不同区块链架构之间创建链接的复杂智能合约中的漏洞的结果。
Qredo 采用了不同的方法——不是直接将区块链与智能合约桥接,而是通过 Qredochain 作为可互操作的第 2 层网络进行链接。
通过这种方式,Qredo 上持有的资产始终在底层链上保持安全,并得到去中心化 MPC 的银行级安全性和自定义治理的支持。
然后,第 2 层 Qredochain 充当资产注册表,使资产能够在 Qredo 网络上的钱包之间即时交易,并通过与 MetaMask Institutional 和 WalletConnect 的集成部署到不同的区块链。
在任何时候,您 Qredo 钱包中持有的资产都在您的控制之下,并且只能通过您的治理策略进行管理。
通过 Block Explorer 确保偿付能力,它显示了每个第 2 层 Qredo 钱包如何映射到底层网络地址的透明且不可变的记录。