桥接和互操作性的三难困境
作者:Ben

实现最佳桥接和互操作性被认为是区块链进步的 “圣杯”,并由两个重要的三难困境所概括:桥接三难困境和互操作性三难困境。当前的桥接和互操作性协议通常只能实现每种三难困境的三个所需特性中的两个。

但是,ZKM的 “Entangled Rollups” 设计提出了一种新颖的解决方案,有可能在两个三难中实现所有三个特性。

弥合三难困境涉及:

  • 统一流动性:确保流动性不会分散在不同的链上。
  • 原生资产:支持原生资产的转移,无需打包或合成版本。
  • 即时保证最终性:提供即时且不可逆的交易最终性。

大多数现有协议只能同时实现其中两个特性。例如,一些协议提供统一的流动性和原生资产,但由于依赖外部验证器和共识机制,这些机制会带来延迟和潜在的最终性问题,因此无法提供即时确定性。

互操作性三难困境涉及:

  • 无信任:确保除了底层区块链安全性外,不需要额外的信任假设。
  • 可扩展性:与多个区块链网络无缝交互的能力。
  • 通用性:支持除简单资产转移之外的各种应用程序,包括智能合约和数据交换。

当前的解决方案通常会牺牲其中一种特性。例如,有些实现了无信任和普遍性,但由于协议特定的限制以及需要进行大量修改以支持其他链,因此缺乏可扩展性。Entangled Rollups 利用 zkVM (zkMIPs) 生成零知识证明 (SNARKs),以证明执行(例如烧毁/锁定)发生在源区块链上,从而使互惠操作(例如铸币/解锁)能够在目标区块链上发生。这一基本机制全面解决了上述两个难题。

Entangled Rollups 如何满足桥接三难困境的每个特性:

  • 统一流动性:Entangled Rollups 使用递归有效性证明在多个链之间同步状态,从而消除了流动性分散现象。
  • 原生资产:交易直接涉及原生资产,无需包装。影子合约可跨链锁定/解锁资产,确保在没有合成版本的情况下进行无缝资产转移,从而促进了这一点。
  • 即时保证最终性:使用SNARKs可确保交易一旦经过验证并包含在汇总中,即为最终交易且不可撤销,从而提供即时确定性。

Entangled Rollups 如何满足互操作性三难困境的每个属性:

  • 无信任:通过利用 zkRollups 中的机制,Entangled Rollups 在不引入额外的信任假设的情况下维护了底层区块链的固有安全性。为一条链上的交易生成的证明可以在另一条链上进行验证,从而在整个生态系统中保持不可信赖性。
  • 可扩展性:该架构允许在不同的第 2 层平台之间进行可扩展的交互,并支持对跨多个链的交易进行高效管理和验证。共享的序列器池和分散的中继网络促进了这种可扩展性。
  • 普遍性:纠缠汇总不限于资产转移。它们可以处理各种类型的数据和智能合约的执行,支持不同的应用程序,例如NFT传输,跨链身份验证和多链智能合约。

通过解决这两个难题的核心挑战,Entangled Rollups为多链互操作性和桥接提供了强大而高效的解决方案,促进了更加统一和灵活的区块链生态系统。

要全面深入了解 ZKM 的 Entangled Rollups 设计,可以在这里查看 LitePaper: https://whitepaper.zkm.io/entangled_rollup_light_paper.pdf