注：本文来自@o1_labs 推特，其是加密KOL，原推文内容由MarsBit整理如下：

我们非常高兴@optimismFND RFP将为所选的OP链实现零知识证明（ZKP）。🔥我们认为应该发布一个快速的线程来介绍它…

https：//github.com/ethereum-optimism/ecosystem-contributions/issues/61

解决方案：我们提出了集成一个具有高级功能的fault-proof-program-compatible MIPS VM(虚拟机)。这个MIPS虚拟机将与Nova-folding-style bn128-kzg-plonkish系统无缝协作。

意义：MIPS VM和bn128-kzg-plonkish系统的结合将使我们能够以更高的效率证明任意程序执行轨迹的正确性。

1️ Kimchi - 证明系统： Kimchi是我们最先进的证明系统，类似于Halo2-like PLONKish系统。它的特点是一个多项式的承诺方案，为 @MinaProtocol 提供支持，支持使用传统的基于图灵机的指令集进行可验证的计算。

2️可切换后端：我们计划用bn128-KZG承诺方案取代目前的Pasta-IPA后端。这一变化允许在以太坊L1区块链上进行实际验证，而无需非标准预编译，从而提供了更大的灵活性和效率。

3️深层Keccak支持：为了简化区块链和MIPS VM之间的通信，我们将优化具有深层Keccak支持的OP堆栈系统。这种改进减少了哈希的数量，加快了信息检索的速度。

4️高效的VM指令选择：当前的概念验证（PoC）在每一步都执行每一条指令，导致不必要的计算。通过为每种指令类型生成专用的子证明，我们将显著加快过程并节省资源。

🔍愿景：通过这种强大的技术组合，我们将创建一个防故障和高性能的环境来验证程序的执行。这一进步将带来更大的可扩展性、安全性和可用性!🔐

欲了解更多信息，请访问

https://github.com/ethereum-optimism/ecosystem-contributions/issues/61#issuecomment-1611488039