本文介绍了Optimism Governance第四季的关键任务之一，即为OP Stack实现零知识证明（ZKP）。RISC Zero和O(1) Labs分别提出了基于Rust和MIPS zkVM的解决方案，旨在提高OP Stack的互操作性、安全性和效率，并最终实现更快的跨链通信和提款速度。
在 Optimism Governance 的第四季中，社区团结一致围绕着 Collective Intents，各个团队致力于范围明确、具体的倡议，这些倡议被称为 Missions（任务）。作为该过程的一部分，Optimism 基金会为 Collective 内的关键增长和发展领域制定了 Missions。
构建 Technical Decentralization Intent 的一个关键部分是为 OP Stack 实施零知识证明 (ZKP)。 对于 Superchain 中的 OP Chains 来说，这是进一步保护和增加 L2 和 L1 之间以及直接在 OP Chains 之间低延迟跨链通信的重要组成部分。 该系统支持高延迟和低延迟选项，这对于实现完全的可组合性并释放新的用例，以及为整体可扩展性做出贡献是必要的。 对于一个良好支持的指令集架构 (ISA) 的 ZKP，它可以证明 OP Stack fault proof program，这可以作为能够证明任何基于 OP Stack 的区块链的系统的基础。
L2 上活动的爆发 подчеркивает 了加密用户对低费用和高性能的重视程度，并且有两个出色的团队提交了方法来帮助用户实现这一目标。 因此，RISC Zero 和 O(1) Labs 的提案被接受来执行此 Mission。
cRUSTaceans，欢欣鼓舞吧：RISC Zero 将基于 Rust 的 ZK 有效性证明引入 OP Stack
RISC Zero 设想了一个 ZK 证明对所有人开放的世界，开发人员可以通过 RISC Zero 的通用 ZK 虚拟机证明和验证任何计算。 为了实现这一愿景，该团队致力于一个开源堆栈，消除曾经困扰 ZK 的障碍，并且始终优先考虑亲身参与 ZKP。 其核心是 RISC-V zkVM，它使开发人员能够以原生 Rust 编写程序，并抽象出 ZKP 的密码学复杂性。
RISC Zero 认为这与 OP Stack 对共享和开源未来的承诺相一致。 ZKP 将通过创建一个连接且高度互操作的Superchain 来实现 OP Stack 的下一个范例。 提款、桥接和 Superchain 治理都是 RISC Zero 认为他们的 ZKP 可以显着改善用户和开发者体验的领域。
RISC Zero 正在为 OP Stack 构建一个基于 Rust 的 ZK 有效性证明系统。 为此，他们正在通过诸如 reth、revm、alloy 和 op-reth 之类的项目将 RISC-V zkVM 与 Ethereum/Rust 生态系统相结合。 他们的 ZK 有效性证明系统建立在 Zeth 之上，Zeth 是一个完全开源的“type 0”zkEVM 框架，它使任何人都可以证明 Optimism 和 Ethereum 区块的有效性。
Zeth 已经添加了对 OP Mainnet 的支持。 目前，RISC Zero 正在扩展它以包括“L1 -> L2 derivation”过程，该过程将允许 Zeth 证明新的 OP 块与 OP 交易定序器一致。 完成后，将添加其他功能，以允许将整个 OP epoch“汇总”到可以在 L1 上使用 RISC Zero 对链上证明验证的现有支持进行验证的单个证明中。
O(1) Labs 将 Mina 协议的 ZK 技术引入 OP Stack
O(1) Lab 旨在通过为开发人员构建 ZK 应用程序创建基础和工具，从而促进由零知识密码学驱动的新一代应用程序。 这包括为 Mina 协议设计和实现 zkApp 模型，这是第一个 ZK 原生区块链、o1js, 一个 Typescript 库和用于 zk 驱动应用程序的嵌入式 DSL, 和 Kimchi + Pickles，一个证明系统和递归库。
现在，在 MIPS zkVM 上的工作将零知识的力量带到 OP Stack。 这是消除七天提款窗口的第一步，这改善了用户体验并增强了链的“无需信任性”。 这项工作还将 Mina Protocol 和 OP Stack 更加紧密地结合在一起，从而为构建在 OP Stack 上的应用程序与 Mina Protocol 交互开辟了道路。
O(1) 的 PLONKish 证明系统 Kimchi 和 Pickles 递归层为该解决方案提供了基础，该解决方案的一个版本自 2021 年以来一直保护着 Mina 区块链。大部分工作是优化 Ethereum 的一些底层原语，增加对 kzg-bn128 的支持以实现高效的 Ethereum 验证，然后优化并与 OP 链的预图像哈希集成。
无忧无虑。 充满活力。 快乐。 坚守我们的道路。 专注于 OP Stack ZKP。
RISC Zero 和 O(1) Labs 均承诺提供定期进展更新。 社区可以在 Mission 的 GitHub 页面 上关注，并在 Twitter 上关注 RISC Zero 和 O(1) Labs。 很高兴有两个拥有两种独特方法的杰出团队共同努力实现一项将对 Optimism 生态系统产生巨大影响的 Mission。
如果你渴望获得更多信息，RISC Zero 和 O(1) Labs 将在伊斯坦布尔 Devconnect 的 Optimism Onchain Summit 上举办一个关于将 ZK 证明引入 OP Stack 的研讨会！ 在 Twitter 上关注我们，以获取有关 Optimism 的 Devconnect 计划的更新。
