7月21日消息，O(1) Labs 和 RISC Zero 的两项提案正在 Optimi++ 推进，以向 OP 链添加 zk-proofs这些提交是为了响应旨在实现安全高效的跨链通信的提案请求Optimi++ 基金会正在直接联系 O(1) 实验室和 RISC Zero，以“启动该项目并更详细地讨论期望”。
据悉，Zk-proof 基础设施和工具公司 RISC Zero 建议升级 Optimi++ 现有的故障协议，使用零知识证明来确保 Optimi++ 上状态更改的正确性，减少实现最终确定的时间孵化 Mina 协议的 O(1) Labs 提议使用 Kimchi（Mina 协议目前使用的 zk 证明系统）创建一种新的防错解决方案，以有效地证明交易的正确执行。
然后，这些证明用于通过智能合约更新以太坊网络的状态
