在Optimism Governance（OP治理）的第四季，社区围绕着Collective Intents（集体意向）展开，团队致力于紧密范围、具体倡议的任务，即Missions。作为这一过程的一部分，Optimism Foundation为集体内部的关键增长和发展领域提出了具体任务。

朝着技术去中心化意图建设的关键部分之一是为OP Stack实施零知识证明（ZKP）。对于Superchain超级链中的OP Chains，这是进一步保护和增加L2与L1之间、以及直接在OP Chains之间进行低延迟跨链通信的重要组成部分。该系统支持高低延迟选项，这对于实现全组合性、解锁新用例以及对整体可扩展性的贡献都是必要的。一个基于良好支持的指令集架构（ISA）的ZKP，可以证明OP Stack的故障证明程序，为能够证明任何基于OP Stack的区块链的系统奠定基础。

在L2上活动的爆发强调了加密用户对低费用和高性能的深刻重视，有两支团队提交的方案在帮助用户实现这一目标方面表现出色。因此，来自RISC Zero和O(1) Labs的提案被接受，以开展该任务。

RISC Zero设想一个世界，在这个世界中，ZK Proofs对每个人都是可访问的，开发人员可以通过RISC Zero的通用ZK虚拟机证明和验证任何计算。为了实现这一愿景，该团队致力于一个开源栈，消除曾经困扰ZKP的障碍，并始终优先考虑与ZKP亲自参与。其核心是RISC-V zkVM，它使开发人员能够用本地Rust编写程序，并将ZKP的加密复杂性抽象掉。

RISC Zero看到了与OP Stack对共享和开源未来的承诺的一致性。ZKPs将通过创建一个连接紧密且高度互操作的Superchain，使OP Stack的下一范式得以实现。提取、桥接和Superchain治理是RISC Zero看到他们的ZKP在提高用户和开发人员体验方面有巨大改进的领域。

RISC Zero正在为OP Stack构建一个基于Rust的ZK有效性证明系统。为此，他们将RISC-V zkVM与Ethereum/Rust生态系统结合使用，通过项目如reth、revm、alloy和op-reth。他们的ZK有效性证明系统建立在Zeth之上，这是一个完全开源的“type 0” zkEVM框架，使任何人都能证明Optimism和Ethereum块的有效性。

对OP Mainnet的支持已经添加到Zeth中。目前，RISC Zero正在扩展此功能，以包括“L1 -> L2派生”过程，这将允许Zeth证明新的OP块与OP事务排序器一致。一旦完成，将添加额外的功能，以允许整个OP时期“卷起”成一个可以在L1上验证的单一证明，使用RISC Zero对链上证明验证的现有支持。

O(1) Labs旨在通过为开发人员构建ZK应用程序的基础和工具，催生由零知识密码学驱动的新一代应用程序。这包括为Mina协议设计和实施zkApp模型，这是第一个ZK本地区块链；o1js，一个为zk驱动的应用程序提供TypeScript库和嵌入式DSL的工具；以及Kimchi+Pickles，一个证明系统和递归库。

现在，对MIPS zkVM的工作将零知识的力量引入OP Stack。这是消除七天提款窗口的第一步，有助于改善用户体验并增强链的“无信任性”。这项工作还使Mina协议和OP Stack更加紧密，为在OP Stack上构建的应用程序与Mina协议进行交互打开了一条路径。

O(1)的PLONKish证明系统、Kimchi和Pickles递归层为解决方案提供了基础，该解决方案的一个版本自2021年以来一直在保护Mina区块链。工作的主要部分是优化一些Ethereum的低级原语，添加对kzg-bn128的支持以实现高效的Ethereum验证，然后进行OP链的预映像哈希的优化和集成。

RISC Zero和O(1) Labs都承诺定期提供工作进展更新。社区可以在任务的GitHub页面上跟踪，并在Twitter上关注RISC Zero和O(1) Labs，这是令人兴奋的，有两支出色的团队采用两种独特的方法努力实现一个将对Optimism生态系统产生巨大影响的任务。

如果您渴望了解更多信息，RISC Zero和O(1) Labs将在Istanbul的Optimism Onchain Summit的Devconnect中主持有关将ZK证明引入OP Stack的研讨会！关注我们的Twitter获取有关Optimism Devconnect编程的更新。

翻译：markcrypto

原文：

nft://10/0x04caD9F1230d74001552aFc3Ab3e8ec2058872a9/?showBuying=true&showMeta=true