Polyhedra Networks 和 Lagrange Labs 合作公告：Optimistic Rollups 的 zkBridge 快速最终性…

Polyhedra Networks & Lagrange Labs 合作公告：通过 Lagrange 状态委员会为乐观 Rollup 提供 zkBridge 快速最终性

Polyhedra Network 设计并实现了 zkBridge，为 layer-1 和 layer-2 的互操作性提供无需信任且高效的跨链基础设施。zkBridge 使用零知识证明结构来证明完整的 Ethereum PoS 共识以及各种 layer-1 和 layer-2 网络的state transitions。 凭借其高效的证明系统 deVirgo，Ethereum 完整 PoS 的证明时间可以快至每个区块 10 秒，这足以赶上 Ethereum 的区块时间。

通过使用 Polyhedra 的 zkLightClient 基础设施，开发者可以轻松地在 LayerZero 之上构建应用程序，同时利用基于 ZKP 的跨链安全性。目前，zkBridge 支持 20 多个网络，例如 Ethereum（完整 PoS）、BNB Chain、Polygon 和 Linea。

Lagrange Labs 专注于开发基础设施，以提高合约状态使用的安全性和表现力。 他们的团队开发了一种新颖的证明系统，称为 ZK Big Data，该系统支持concurrently生成批量存储证明和动态零知识分布式计算。

Lagrange 还构建了一种名为 State Committees 的产品，该产品基于重新质押的 EigenLayer 安全性，允许桥和消息传递协议共享重新质押的安全性，以证明乐观 rollup 区块的最终性。

为什么对于乐观 Rollup 来说 zkBridging 具有挑战性？

zkBridge 为链之间的通用消息传递和资产桥接提供了最安全的设计。 当使用 zkBridge 时，源链上发生的任何state transition都会在目标链上进行无需信任的验证，而无需依赖中间协议的安全性。 虽然乐观 rollup 提供了高交易吞吐量，但它们对 zkBridge 提出了巨大的挑战。 目前，zkBridge 只能跟踪从 L2 到 L1 提款交易和 L2 到 L1 消息传递的最终状态，以便生成状态证明。

当前构建来自乐观 rollup 的 zkBridge 的方法首先触发 L2 到 L1 提款交易或 L2 到 L1 消息传递，然后等待欺诈证明最终确定（可能长达 7 天甚至 14 天）。 zkBridge 需要证明结算链（Ethereum 完整 PoS）的共识和 L2 到 L1 交易的最终状态，以便可以使用写入结算链的 rollup 区块。 虽然这很安全，但它为跨链应用程序带来了高延迟。

Lagrange Labs 和 Polyhedra Network 合作，通过提供 immediate finality来实现来自乐观 rollup 的高效 zkBridging。 通过结合 Lagrange State Committees 和 Polyhedra Network 的 zkBridge 和 zkLightClient 基础设施，无需信任的互操作性可以扩展到在 Ethereum 上进行结算的任何乐观 rollup。

Polyhedra 和 Lagrange 如何解决乐观 Rollup 的 zkBridging？

首先，State Committees 提供了一种基于使用重新质押的 Ethereum validators 为乐观 rollup 生成零知识状态证明的机制。 State Committee 中的每个validator都通过 EigenLayer 重新质押。 每个 State Committee 证明乐观 rollup 的 sequencer 提交给 Ethereum 的 proposed state transition 的最终性。

每当 rollup 区块被认为是 safe（OP 堆栈）或已达到 Ethereum 等效最终性（Arbitrum）时，State Committee 中的每个重新质押的validator都需要使用其 Ethereum BLS12–381 共识密钥证明该区块。

从广义上讲，每个签名都在包含三个基本元素的元组上执行：

struct block {
        var block_header,
        var current_committee,
        var next_committee,
}

current_committee 是允许为给定区块 b 签名的节点组，next_committee 是允许为下一个区块 ( b+1 ) 签名的节点组。 这些委员会中的每一个都基于哪些节点已提名自己加入 State Committee，在链上以无需许可的方式定义。

使用这三个字段，如果以下递归属性成立，则可以简洁地证明任意区块 b 的有效性：

1. 对于给定的区块 b，至少 2/3 的 n attestors 重新质押必须已签署区块头。 这些节点的公钥必须存储在 __current_committee__ Merkle 树中。
2. 区块 b 的 current_committee 等于区块 b-1 的 next_committee 树。
3. Block b-1 要么是创世区块，要么在满足这三个条件的情况下有效。

Polyhedra Network 的 deVirgo 证明系统正在这些签名之上使用，以生成零知识证明，表明每个乐观 rollup 区块的有效性。 因此，Polyhedra Network 可以扩展其技术，为任何具有 1 个区块最终性的乐观 rollup 提供 zkBridge。 这些证明可以为 Arbitrum 或任何 OP 堆栈链生成，例如 Optimism、Base、Mantle、Manta 或 Zora。

建立在 LayerZero 上的 Polyhedra 的 zkLightClient 技术很快也可以扩展到支持低延迟和无需信任的乐观 rollup 状态证明。 这将进一步扩大可以从 LayerZero 广泛的开发者工具和社区支持以及 Polyhedra 的 zkBridging 技术中受益的链的数量。

值得一提的是，State Committees 提供的 fast finality 机制也可用于 zk-rollups，因为 zk-rollup 的 L2 到 L1 消息传递的当前最终性时间可能长达数小时。 对于 zk-rollups，跨链应用程序可以选择等待 L2 到 L1 消息传递的最终性，或使用 State Committees 与 zkBridge 提供的 instant finality。

此外，State Committees 可以通过添加 EigenLayer 重新质押的另一层密码经济安全性来增强来自 L1 区块链的跨链交易的安全性。 在不增加跨链延迟的情况下，zkBridge 可以生成发送方 L1 区块链共识和 State Committees 的证明，然后在接收链上验证它们。 因此，Lagrange State Committees 将充当任何区块链系统的即插即用安全层，通过将 EigenLayer 重新质押的密码经济安全性添加到 zkBridge。

总结

总而言之，Polyhedra Network 和 Lagrange Labs 之间的战略合作伙伴关系标志着首次通过乐观 rollup 实现具有 immediate finality 的 zkBridging。 通过共同努力，两个团队都在推动无需信任的互操作性如何保护 web3 中应用程序的最新技术。

Polyhedra Network 和 Lagrange Labs 都是具有强大密码学研究背景的团队，他们致力于使用零知识证明来推进跨链基础设施和数据计算的最新技术。 他们为乐观 rollup 启用 zkBridging 的合作标志着他们使用 ZKP 增强跨链应用程序安全性方面的合作的第一步。 未来，两个团队将继续合作，利用他们创新和新颖的证明系统来支持新的跨链用例。

• 原文链接： medium.com/polyhedra-net...
• 登链社区 AI 助手，为大家转译优秀英文文章，如有翻译不通的地方，还请包涵～