Qredo:跨链桥的诅咒：Nomad黑客攻击事件解析-ODAILY_RED

作者：

时间：

太长不读版：

Nomadhack是由用于在两个不同区块链架构之间创建链接的复杂智能合约引起的漏洞的结果。

Qredo对区块链互操作性采取了完全不同的方法——不是直接将区块链与智能合约桥接，而是通过Qredochain作为可互操作的第2层网络进行链接。资产始终由分散的MPC保护。

回到狂野西部，最大的抢劫案是火车抢劫案。

在加密货币的金融前沿，运输中的资产也被证明是一个有利可图的目标。

根据Chainalysis的数据，截至2022年，跨链桥黑客攻击占黑客攻击的69%，被盗的金额超过20亿美元，跨链安全的想法正受到审查。

去中心化交易所SyncSwap DApp已集成Celer跨链桥cBridge:4月8日消息，Celer Network发推称，去中心化交易所SyncSwap已在其DEX DApp集成cBridge。SyncSwap用户可以在其应用内使用cBridge将MATIC、BUSD、BNB、AVAX等代币跨链至zkSync Era。[2023/4/8 13:51:42]

在这篇文章中，我们解开最新的跨链黑客——2022年8月的Nomad黑客——并解释为什么Qredo为区块链互操作性提供了更好的模型。

桥的类型

要在区块链之间移动资产，您可以在两种类型的桥接器之间进行选择：受信任的和无需信任的。

受信任的桥使用一个集中的实体进行操作，要求您依赖受信任方的安全性并放弃对您资产的控制权。这种模式与加密的点对点精神背道而驰。

Electron Labs开放跨链桥测试网早期Beta测试申请:1月8日消息，跨链协议技术公司ElectronLabs发推称，此前从NEAR收到一笔赠款来利用ZK证明构建跨链桥，目前已开放Electron测试网桥“限制数量”的早期Beta测试申请。开发者、跨链用户、流动性提供者、ZK爱好者都可以申请。

Electron Labs正在以太坊和NEAR之间建立去中心化跨链桥，该协议使用链上轻客户端和零知识来验证交易的有效性。[2023/1/8 11:01:16]

无需信任的桥依赖于智能合约和算法。您可以保持对资产的控制，但必须依赖智能合约和底层区块链的安全性。

去信任的桥梁：黑客的热门目标

去信任的桥梁通常通过在每条链上都有智能合约来工作。代币被锁定在一条链上的智能合约中，然后在另一条链上重新发行，通常以“包装”的形式。

借贷协议Nexon Finance集成Orbiter Finance跨链桥:据官方消息，zkSync生态借贷协议Nexon Finance宣布集成Orbiter Finance跨链桥，用户可通过该协议实现无缝资产转移。[2023/1/4 9:52:10]

例如，要将100个代币从Solana转移到以太坊，代币持有者会将代币锁定到Solana上的桥接智能合约中。然后，桥接合约将在以太坊上铸造100个等价或包装版本的代币。

为了将代币归还给原链，代币持有者会将代币发送回智能合约进行销毁，从而触发另一条链上的桥接合约释放代币。

这些网桥不断成为攻击者目标的主要原因有两个：

价值

跨链桥通常在其智能合约中持有大量资产。

稳定币跨链桥Symbiosis推出Mobile SDK和JS SDK:据官方消息，稳定币跨链桥Symbiosis Finance宣布推出两个软件开发工具包（SDK）功能，分别是Symbiosis Mobile SDK、Symbiosis JS SDK。Symbiosis相信，SDK集成将在Web3浪潮中发挥巨大作用。

据悉，Symbiosis Mobile SDK是一个多平台库，旨在创建适用于Symbiosis生态系统和Web3领域的应用程序。为此，Symbiosis使用Kotlin多平台方法同时支持Android和iOS生态系统。

JS SDK帮助开发人员将协议集成到外部应用程序中。用户不需要对智能合约有深入了解，就能理解如何使用SDK。它还有助于用户进行代币跨链兑换。浏览器钱包可以使用该SDK来吸引新用户，获得更多的流量和收入。Symbiosis计划在未来推出一款可以添加到任何网站的小插件。[2022/3/30 14:27:33]

2.漏洞

架构、共识算法和编程语言的技术差异可能使连接单独的区块链变得非常困难。很容易犯错误——导致攻击者可以利用的漏洞。

Nomadhack是如何发生的

Nomad桥支持在包括Avalanche和以太坊在内的多个区块链之间传输代币。在最新的跨链攻击中，它耗尽了价值超过1.5亿美元的加密资产。

那么这是怎么发生的呢？

Nomad桥有两个组成部分：每条链上的智能合约，以及跨链保护和中继状态的链下代理。

该漏洞利用了最近的升级，该升级使接收链上的智能合约容易受到破坏。

要准确了解这是如何发生的，我们需要熟悉一种称为Merkle树的特定数据结构。

什么是哈希树？

哈希树是密码学和数据科学中用于为数据集生成唯一标识符的数据结构。在区块链中，哈希树用于加密、汇总和验证块中的所有数据。通过这种方式，它们就像一个数字指纹，可以快速验证一个块中的所有数据在网络对等点之间传递时是否完整、未损坏且未更改。哈希树的一个关键元素是MerkleRoot。这是所有散列交易的散列，表示该块中包含的所有数据的完整性。

那么Nomad桥发生了什么？

通常，初始化的交易哈希与包含交易的区块的默克尔根哈希相关联。这使验证者能够检查交易是否已被证明，并更新区块链的状态。

未经证明的消息的MerkleRoot将是0x00，因为该消息将未初始化。

事实证明，在例行升级期间，Nomad团队意外地将可信根初始化为0x00。这意味着默克尔树没有证明交易是有效的。

因此，任何人都可以简单地找到现有的交易从桥中提取资产，并用他们自己的地址替换目标地址，然后将其重新广播到区块链以获取资产。

一旦最初的攻击者证明这是可能的，其他人很快就加入了——创造了所谓的第一次去中心化抢劫事件。

Qredo的跨链互操作性方法

与最近几乎所有其他桥梁黑客一样，Nomad黑客是用于在两个不同区块链架构之间创建链接的复杂智能合约中的漏洞的结果。

Qredo采用了不同的方法——不是直接将区块链与智能合约桥接，而是通过Qredochain作为可互操作的第2层网络进行链接。

通过这种方式，Qredo上持有的资产始终在底层链上保持安全，并得到去中心化MPC的银行级安全性和自定义治理的支持。

然后，第2层Qredochain充当资产注册表，使资产能够在Qredo网络上的钱包之间即时交易，并通过与MetaMaskInstitutional和WalletConnect的集成部署到不同的区块链。

在任何时候，您Qredo钱包中持有的资产都在您的控制之下，并且只能通过您的治理策略进行管理。