2024年6月10日,经治理批准的、无需许可的故障证明(fault proof)系统正式在 OP 主网上线,标志着 OP Stack 进入了第一阶段。这一重要里程碑将很快在更多的 OP Stack 链上实现,包括 Base、Metal、Mode 和 Zora。
无需许可的故障证明系统概述
无需许可的故障证明系统允许用户从 OP 主网提取 ETH 和 ERC-20 代币,而无需任何受信任的第三方参与。这也意味着任何参与协议的用户都可以挑战并删除无效的提款。虽然系统是无需许可的,但 Optimism 安全委员会保留在系统故障时进行干预并恢复系统至许可状态的权力。这种后备机制是负责任且安全地推出故障证明系统的一部分,符合 L2Beat 对第 1 阶段的行业标准定义。
功能和特性
改进的信任模型
无需许可的故障证明系统使用户能够在没有任何受信任第三方的情况下,将 ETH 和 ERC-20 代币从 L2 提取到 L1。提款不再依赖于特权提议者发布输出根,而是通过故障争议系统进行。任何人都可以发布输出提案,声明 L2 的状态。一旦提案最终确定,该声明即可用于促进提款,无需特权操作。
任何人都可以参与安全
任何用户都可以挑战并删除无效的提案。争议博弈提供了一种确定输出提案有效性的机制。每个行动都需要放置 ETH bond,不诚实的 bond 将支付给诚实的 bond 持有者以支付 gas 成本。
安全理事会作为安全网
Optimism 安全委员会在系统故障或需要手动升级时,能够在 75% 的签名阈值下进行干预。这种机制确保了系统在紧急情况下的安全性,逐步减少了信任假设,为全面去中心化铺平了道路。
模块化设计,实现多重防护
故障证明系统的模块化特性允许集成额外的证明机制,未来可以实现多重证明系统。智能合约框架使得添加新的证明系统变得简单,为生产过程中提供了增强的安全层。
进入第二阶段的计划
2022 年,Vitalik Buterin 概述了一个框架,说明 L2 如何逐步摆脱训练轮,走向完全去中心化。现在 OP 对第一阶段的安全模型充满信心,核心开发团队和生态系统中的安全审计员已经彻底审查了安全理事会在任何情况下保持系统安全的能力,下一步是实现第二阶段的去中心化。
未来的展望
接下来的几个月,将在测试网上推出其他证明系统,包括 Asterisc 和 Kona。证明这些冗余证明方案的可靠性和稳健性,将有助于超级链实现第二阶段的去中心化。当前的故障证明系统为实现“多重证明涅槃”奠定了基础,设计上是开源和模块化的。该框架将使 OP Stack 能够支持多种证明系统,包括零知识证明和 Cannon 系统。
总结
故障证明系统的上线标志着 OP Stack 进入第一阶段,超级链生态系统中的其他 OP Stack 链也将很快跟进。这一系统不仅增强了桥接 ETH 和 ERC-20 代币的安全性,还为实现全面去中心化铺平了道路。随着第二阶段去中心化的推进,Optimism 的开发团队和社区将继续共同努力,推动生态系统的创新和发展。