长推：O (1) Labs —— 解析被选中的为 Optimism 实施 ZKP 的方案
实现一个零知识证明系统，使用 Golang 编译器支持的指令集架构来证明Optimism故障证明程序。
原文标题：O (1) Labs：解析被选中的为 Optimism 实施 ZKP 的方案
原文作者：O(1) Labs
原文来源：twitter
编译：Kate, Marsbit
注：本文来自@o1_labs 推特，其是加密KOL，原推文内容由CHAINLOOK整理如下：
我们非常高兴@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区块链上进行实际验证，而无需非标准预编译，从而提供了更大的灵活性和效率。
关于【长推：O (1) Labs —— 解析被选中的为 Optimism 实施 ZKP 的方案】的延伸阅读
比特币新提案OP_CAT：开启区块链编程新纪元
OP_CAT提案引发讨论，可提升比特币主网编程能力和验证效率。类似Covenant契约，但更易实现，可实现复杂逻辑如多重签名和时间锁。若被采纳，将对比特币生态和市场有积极影响，推动比特币生态发展。
本周代币解锁预告：7项目密集解锁，OP、YGG等解锁量巨大
OP迎3000万美元大额解锁。本周，数量多达 7 种代币将迎来代币解锁。本周值得关注的解锁币种要高于此前数周。
3️深层Keccak支持：为了简化区块链和MIPS VM之间的通信，我们将优化具有深层Keccak支持的OP堆栈系统。这种改进减少了哈希的数量，加快了信息检索的速度。
4️高效的VM指令选择：当前的概念验证（PoC）在每一步都执行每一条指令，导致不必要的计算。通过为每种指令类型生成专用的子证明，我们将显著加快过程并节省资源。
🔍愿景：通过这种强大的技术组合，我们将创建一个防故障和高性能的环境来验证程序的执行。这一进步将带来更大的可扩展性、安全性和可用性!🔐
欲了解更多信息，请访问
https://github.com/ethereum-optimism/ecosystem-contributions/issues/61#issuecomment-1611488039
免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：Marsbit，如有侵权请联系删除。转载或引用请注明文章出处！
