Polygon 采用 SP1

Polygon Labs 与 Succinct 合作使用 SP1 zkVM 为 AggLayer 提供安全保障

我们很高兴地宣布，Polygon Labs 将使用 Succinct 的 zkVM SP1 来实现 AggLayer 的一个关键组件：这一旗舰级互操作性协议可在 Ethereum 生态系统中的 rollup 之间实现统一流动性。借助 SP1，Polygon 团队能够用普通 Rust 代码编写 pessimistic proof，也就是为 AggLayer 提供安全保障的核心 ZKP。SP1 极大简化了开发者体验，并具备业界领先的性能，使 AggLayer 的开发周期大幅缩短，从数月缩短到短短几周。

SP1 如何让 Polygon 在不牺牲性能的情况下，用 10 倍更少的开发时间构建 AggLayer 的 ZKP 组件

当 Polygon 决定如何最好地构建 AggLayer 所需的 ZKP，也就是 “pessimistic proof” 时，他们有几种选择：要么用他们现有的手写栈之一来构建，要么用众多可用的 zkVM 之一来构建。以下是他们选择 SP1 的原因：

开发者体验

SP1 让开发者只需用 Rust 编写 pessimistic proof 程序，这极大加快了 AggLayer 的开发进度。

• 借助 SP1，Polygon 团队的两名工程师在数周内用少于 1000 行 Rust 代码编写了 pessimistic proof 程序。如果使用手写的、基于 circuit 的 ZK 栈，同样的任务将需要一个更大、专业化程度更高的团队花费数月时间。（查看 pessimistic proof 的实现这里。）
• 通过使用普通 Rust 代码，pessimistic proof 程序可以复用现有的 Rust crate，并让普通工程师更容易理解 ZKP 逻辑，从而提升可维护性和可审计性；普通 Rust 还使得修改 pessimistic proof 程序变得容易，从而允许更多采用不同共识机制的链接入 AggLayer。

业界领先的性能

AggLayer 需要频繁生成 proof，并要求低成本和低延迟，以确保连接的链之间的互操作性尽可能低成本且高频。SP1 依托其以 precompile 为中心的架构，具备业界最先进的性能，可显著降低区块链程序的 cycle count，例如计算 rollup 状态转换函数、验证共识 proof，或验证大量 Merkle proof。

• 尤其是 pessimistic proof 程序，需要使用 keccak hash function 验证大量 Merkle proof。SP1 的 keccak precompile 确保其在涉及大量 hashing 的程序上，比其他 zkVM 快一个数量级，因此显然是 AggLayer 的合适选择。
• SP1 极快的性能使得在生产环境中使用 zkVM 生成 pessimistic proof 变得切实可行，而在生产环境中，成本和延迟最为关键。

开源

SP1 是唯一一个 constraints 100% 开源的 zkVM。这对于可审计性和安全性是必需的，以确保 RISC-V ISA 正如所声称的那样被证明。

• 允许任何人验证 RISC-V ISA 是否被正确证明，这对于区块链场景中的安全性至关重要。

我们很高兴看到这样一个业界领先的 ZK 团队看到了基于 zkVM 方法的明确价值，并决定与 Succinct 合作。随着我们朝着 zkVM endgame 迈进，我们预计更多来自 rollup、互操作性、bridging 等领域的团队也会追随他们的脚步。

SP1 如何帮助为 AggLayer 保障统一流动性和 trustless 互操作性

最近，关于碎片化的 rollup 生态系统如何需要无缝互操作性，以获得更好的 UX 和更高的资本效率，已经有大量讨论。AggLayer 正在构建这一愿景，而 ZKP 是实现低延迟、安全性以及任何 rollup 生态系统 permissionless 参与的关键。

• 快速最终性： ZKP 是为连接到 AggLayer 的 rollup 实现快速最终性的唯一可行方式。ZKP 消除了采用乐观设计的 rollup 所需的漫长 challenge period，将延迟（无需第三方 bridge）从 7 天缩短到不到 30 分钟。（理论上，AggLayer 也可以支持比 Ethereum 最终性更快的互操作性。）
• 安全性： ZKP 使互操作性协议能够在不依赖信任假设的情况下实现快速最终性。在 insecure bridge 造成数十亿美元损失的环境下，trustless bridging 至关重要。通过验证 rollup 状态的 ZKP，并验证所有 rollup 之间的跨链交易都被正确记账，pessimistic proof 使互操作性不需要额外的信任假设。
• 任何生态系统都可 permissionless 参与： 由于 SP1 易于编程，它可以用于验证 rollup 状态转换函数，也可以用于验证其他非 ZK rollup 链的共识 proof。其他互操作性解决方案要求所有参与链使用相同的 stack 才能互操作。借助 AggLayer，只要能够编写一个 SP1 程序——用普通 Rust 编写——来验证其状态转换，任何 stack（包括 OP Stack 链、Polygon CDK 链，甚至基于 Tendermint 的链等）都可以参与。

SP1 x Plonky3：正和、开源协作的力量

Polygon Plonky3 是由 Polygon Zero 团队为 ZK 应用和 zkVM 开发者构建的模块化 proof system library。为了构建 SP1，Succinct 选择了 Polygon Plonky3，原因在于它的模块化、性能以及宽松的开源许可证。

Polygon Plonky3 让我们能够为正在构建的特定 zkVM 配置 proving system，这使得 SP1 能够使用 Plonky3 在 BabyBear field 上的 FRI 实现。这种模块化并没有以牺牲性能为代价；Plonky3 library 包含许多不同的 assembly 优化，包括 Neon 和 AVX-512。

Succinct 与 Polygon Zero 团队之间的合作极其富有成效，两个团队都在向彼此各自的 code base 贡献代码。我们很感激能与这样才华横溢的合作伙伴共事！

继续关注

在接下来的几周里，Succinct 将完成对 SP1 的审计，并使其准备好在 mainnet 上投入生产使用。与此同时，Polygon 将继续推进 AggLayer 协议，并使其为 mainnet 发布做好准备，预计将在未来几个月内推出。我们期待与优秀的 Polygon 团队继续合作，并持续推动 ZKP 的前沿发展，以改善 Ethereum 生态系统。

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