Mina开发团队O(1)Labs拟将零知识证明技术应用于OP Stack欺诈证明

4月26日消息，Arbitrum研发团队Offchain Labs宣布曾在3月22日向OP Labs团队披露了其在Optimism测试网上发现的两个严重的安全漏洞，这些漏洞存在于OP Labs部署的Optimism欺诈证明系统中，Offchain Labs向OP Labs团队提供了用于攻击的演示性利用代码。3月25日，OP Labs确认了这两个问题的有效性，双方协调了漏洞披露时间。 OP Labs要求Offchain Labs在漏洞得到解决之前暂时不要公开披露这些漏洞。昨天晚些时候（4月25日），Optimism测试网进行了更新，今天Offchain Labs首次披露了这些漏洞。这些漏洞允许恶意方强制OP Stack欺诈证明机制接受欺诈的链历史，或者阻止OP Stack欺诈证明机制接受正确的链历史。这些问题源于OP欺诈证明设计在处理计时器方面的缺陷。

7月30日消息，以太坊证明服务（Ethereum Attestation Service）已完成OP Stack原生集成。未来所有OP Stack链部署都将自动包含创世EAS合约。 EAS表示，集成至OP Stack将使信任证明成为超级链（SuperChain）中的基本要素，不仅将促进超级链中证明实践的采用，还将设定信息验证和信任建立的新标准。

金色财经报道，OP Stack 故障证明系统已在 OP Sepolia 测试网上线，这是 OP Stack 链实现第二阶段去中心化过程中的一个重要里程碑。故障证明系统可实现无权限验证，并可质疑和拒绝无效的 ETH 和 ERC-20 代币提现。目前，Optimism 的贡献者们正专注于开发多种证明方案，并为主网部署做好防错系统的准备。

7月25日消息，Optimism生态开发人员正开发OP Stack的故障证明系统，包括防错程序（FPP）、防故障虚拟机（FPVM）、Dispute Game等组件，此外FPP和FPVM的分离使得相同的操作程序既可以在FPVM中运行，也可以在ZKVM中运行，以帮助OP Stack ZKP实现基于ZK的有效性证明，并为不同网络之间的低延迟跨链桥提供支持。

金色财经报道，Celo核心开发商cLabs提议采用OP Stack开发其以太坊Layer 2链。cLabs在评估了各种扩容技术八个月后，选择了OP Stack进行开发。Celo社区去年7月通过治理投票批准了向以太坊Layer 2迁移的提案。计划在2024年夏天部署测试网，并进行社区投票。

11月6日消息，Paradigm首席技术官兼研究合伙人Georgios Konstantopoulos在X平台发文表示，OP Reth已合并，意味着其高性能以太坊节点Reth能在OP Stack中不做修改即可使用。 Georgios还表示，此举是OP Labs、Base团队和 Paradigm 自己的开源团队的合作实现的。