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