OP Stack Zero Knowledge proof

由Mina开发团队O(1) Labs提交的，关于Optimism 基金会关于为OP Stack区块链采用ZKP实现欺诈证明（fault proof program）的基金会任务（RFP）被采纳。

Mina 提案采用兼容 fault-proof-compatible 的MIPS (Million Instructions Per Second) ISA zkVM，采用Nova-folding-style的 bn128-kzg-plonkish 零知识证明系统，支持 keccak 方案。

参考

https://twitter.com/o1_labs/status/1682208176337481728

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