OP Succinct Lite 简介：OP Stack 上的 ZK 欺诈证明

我们创建了一个“精简版”的 OP Succinct，解锁了 ZK 欺诈证明。这为 OP Stack rollup 提供了一个探索 ZK 世界的强大的新选择。

9 月份，我们发布了 OP Succinct，这是我们在 OP Stack 上的有效性证明方法。从根本上说，我们赋予了每个 OP Stack rollup 成为 ZK rollup 的能力。为了实现这一点，我们与 Optimism 团队合作，合成了两项关键技术：Kona，OP Stack rollup 状态转换函数 (STF) 的 Rust 实现，以及 SP1，我们最先进的 zkVM，可以验证任何 Rust 程序。

在过去的几个月里，像 Mantle 和 Phala 这样的领先 rollup 已经将 OP Succinct 视为其技术栈的关键组成部分。由于该产品是完全开源的，每个团队都能够根据他们的特定需求定制代码库。

然而，我们理解一些 OP Stack rollup 还没有为完整的 ZK 做好准备。为了服务这些客户，我们发布了一个“精简版”的 OP Succinct，它只在争议模块中使用 ZK。这解锁了突破性的功能，例如：

• 轻量级争议——在单个计算步骤中解决挑战，而不是运行复杂的多轮游戏持续数天
• 资本高效的争议——将最坏情况下的保证金需求从 数百个 ETH 减少到仅 5 - 15 个 ETH，具体取决于你的配置
• 更快的最终性——将最终性时间缩短到 1 天，这将大大改善关键用户体验，如提款*

注意：L2Beat 要求 Stage-1 乐观 rollup 具有 7 天的最终性。如果你将 Lite 配置为使用更快的最终性，你将不符合资格。一些 rollup 认为这是一个可以接受的权衡——我们把选择权留给你。

我们正在与各种各样的 rollup 合作，作为 OP Succinct Lite 的启动合作伙伴：

• Automata：一个将 TEE 集成到 AI 系统中的机器证明层
• Donatuz:一个面向内容创作者的一体化货币化平台
• Facet：唯一一个不能被任何人关闭的 Ethereum rollup——不可阻挡、抗审查，为艰难时期而生。
• Perennial：一个超高效的 perps 交易场所，可实现快速、廉价和无缝的交易

如果你的 rollup 可以从 ZK 欺诈证明中受益，请与我们联系！你也可以考虑有效性证明是否更适合你的情况。

适用于你的 OP Stack 链的证明选项

交互式欺诈证明是古老的技术

使用交互式欺诈证明就像使用内燃机：它不必要地复杂

当 Ethereum 在 2021 年转向以 L2 为中心的路线图时，乐观 rollup 是唯一可行的选择。ZK rollup 太难构建了，因为它们需要深厚的密码学知识和专业的工程技能。

交互式欺诈证明是过去的遗物。在这个框架中，rollup 通过多步骤的密码经济游戏来保护它们与 Ethereum 的桥梁，这引入了重大的挑战：

• 高技术复杂性——实现通常需要 数千行代码
• 大量的资本要求——像 Optimism 和 Arbitrum 这样的 rollup 持有数千 ETH 用于争议，中等规模的 rollup 可能需要预留数百个 ETH

值得庆幸的是，近年来情况发生了巨大的变化。ZK 技术正经历其“摩尔定律”的时刻：证明变得越来越高效，像 OP Succinct Lite 这样的构建块能够以最小的努力和成本实现 ZK。

ZK 欺诈证明是为未来而构建的

使用 ZK 欺诈证明就像使用电动机：它简单且面向未来

OP Succinct Lite 打破了交互式欺诈证明的局限性。

有了 ZK 欺诈证明，rollup 可以依靠密码学安全性来简单地解决争议。我们可以使用更便宜的链下资源计算区块链状态转换函数的零知识证明，并将最终证明提交到链上进行验证。这大大简化了争议过程，减少了保证金规模，并缩短了解决时间。

有了 OP Succinct Lite，争议的心理模型就变成了：

1. 提议者提交一份包含其状态根的保证金。
2. 挑战者对提议的状态根提出异议，并提交自己的保证金。他们必须在可配置的挑战窗口（例如，12 小时）内对该声明提出异议。
3. 提议者（或第三方）提交一个 ZK 证明来捍卫最初的声明。他们必须在可配置的证明窗口（例如，24 小时）内生成 ZK 证明。
4. 智能合约检查 ZK 证明，并将保证金分配给获胜者。

此外，OP Succinct Lite 使切换到 ZK 欺诈证明变得容易。我们的解决方案是用简单的模块构建的，这些模块不触及核心组件，如排序器、批处理器、op-node 或 op-geth。集成商只需要：

• 运行一个 Forge 脚本 来部署管理争议的智能合约。
• 运行两个 Rust 命令 来启动一个轻量级的提议者和挑战者。这些服务通过使用你的 L1 和 L2 的 RPC 来监视你的链。挑战者发起争议，提议者从 Succinct Prover Network 请求证明来捍卫。

你可以在 这里 找到更详细的说明。如果你打算在你的生产或测试环境中使用它，请与我们联系！我们很乐意提供帮助。

有了 OP Succinct Lite，rollup 可以拥有一切：可扩展性、安全性和去中心化。

每个 Rollup 都应该使用 ZK

OP Succinct Lite 为想要体验 ZK 世界的 rollup 提供了一个强大的新选择。但是，你如何知道 ZK 欺诈证明或有效性证明是否适合你的 rollup？

我们将 OP Succinct Lite 视为对所有 vanilla OP Stack rollup 的明确升级。对于对有效性证明的成本敏感或想要补贴所有交易成本的高吞吐量链来说，它尤其适合。相比之下，OP Succinct 非常适合那些想要将工业级应用的最终确定时间缩短到接近于零的链。

如果你对什么适合你的 rollup 或有哪些配置选项有疑问，我们随时可以讨论。

准备好使用 OP Succinct Lite

OP Succinct Lite 的当前状态是什么？

我们已经完成了与 Cantina 的审计。我们很快就会向我们的试点合作伙伴推出。

想要使用 OP Succinct Lite 部署一个新的 rollup 还是转换你现有的 rollup？

请在此处与我们联系。如果你正在与 RaaS 提供商合作，他们也可以与我们联系，并在你的团队的最小输入下使其成为一个托管流程。

想要了解更多关于我们 OP Succinct Lite 的路线图？

在 X 上关注我们，了解最新的产品公告。在短期内，我们计划添加可信执行环境作为一种双因素身份验证方式，为 Stage 2 去中心化 铺平道路。

在寻找相关文档吗？

我们所有的代码都是完全开源的，并带有 MIT 许可证。查看下面的文档：

• SP1——世界上最快的 zkVM
• OP Succinct——OP Stack 的高效有效性证明
• OP Succinct Lite——OP Stack 的无缝 ZK 欺诈证明

如果你有兴趣为我们的开发做出贡献，请查看我们 GitHub 仓库中的未解决问题列表！

致谢

OP Succinct 和 OP Succinct Lite 构建在 Ethereum 和 Optimism 生态系统中的开源项目之上。这些产品扩展了 OP Stack 和 Kona，因此如果没有 OP Labs 的高质量工作，它们是不可能实现的。我们衷心感谢他们对模块化、开源开发的承诺。

我们还要感谢 Zach Obront 的贡献。Zach 在 OP Succinct 的开发中发挥了关键作用，他与 Ithaca 团队 合作的多重证明工作为 OP Succinct Lite 提供了早期的灵感来源。

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