OP Labs 宣布 Optimism 主网上线了经过治理批准的、无需许可的 Fault Proofs，这标志着 OP Stack 向 Stage 1 去中心化迈出了重要一步，并朝着 Stage 2 去中心化方向前进。该系统通过无需信任的争议解决机制，增强了桥接 ETH 和 ERC-20 代币的安全性，最终目标是实现多重证明，消除对训练轮的依赖。
OP Labs 正在帮助 Optimism Collective 向技术去中心化方向发展，正如我们在长期去中心化战略中详细描述的那样。我们最近更新了我们在基线去中心化方面的进展，并且很高兴地宣布另一个重要的里程碑——经治理批准的、无需许可的故障证明已在 OP Mainnet 上线。这一进展有助于将 OP Stack 带到 Stage 1 去中心化阶段，并朝着 Stage 2 迈出了重要一步。
用于保护提款的故障证明系统
功能完备的故障证明系统通过为完全去中心化铺平道路的功能，增强了桥接 ETH 和 ERC-20 代币的安全性。
改进的信任模型
无需许可的故障证明系统使用户能够将 ETH 和 ERC-20 代币从 L2 提取到 L1，而无需涉及任何受信任的第三方，例如 sequencer 或任何其他中心化的基础设施。
这意味着提款不再依赖于发布 output root 的特权 proposer 角色。相反，现在任何人都可以通过故障争议系统发布 output proposal。一个 output proposal 会声明 L2 的状态。一旦确定，假设安全委员会否决，那么此声明可用于促进提款，而无需任何特权操作。
任何人都可以为安全做出贡献
无效的 proposals 可以被任何想要参与协议的用户挑战和移除。
争议游戏提供了一种机制，可以确定 output proposals 的有效性。任何人都可以通过参与其相关的争议游戏来质疑 output proposal 的有效性。每个动作都需要以 ETH 形式放置一个 bond，而不诚实的 bonds 将支付以支付诚实 bonders 的 gas 费用。
安全委员会作为安全网
正如 Vitalik Buterin 的愿景中概述的 rollup 去中心化路径，可能存在临时的训练轮，一种安全机制，可以在紧急情况下覆盖故障证明系统。这促使了无需许可的故障证明系统的启动，Optimism Collective 的安全委员会充当后备。凭借 75% 的签名门槛，它可以在故障证明系统发生故障或手动升级期间进行干预。
该系统降低了信任假设，并为完全 decentralization 铺平了道路。OP Labs 团队的路线图旨在实现 OP Stack 的 Stage 2 decentralization，并在技术被证明安全后移除训练轮。
用于多重证明极乐世界的模块化设计
故障证明系统的模块化特性使得能够集成额外的证明机制，为未来的多重证明系统构建坚实的基础。由于此升级中包含的智能合约框架，可以轻松添加额外的证明系统。
这些证明协同工作，将在生产中提供增强的安全 layer。随着 OP Stack 朝着实现 Stage 2 decentralization 迈进，这将进一步减少后续升级中的信任假设。
前进到 Stage 2：交付备用故障证明
OP Stack 的故障证明系统的最终目标是实现多重证明的极乐世界，从而消除 L2 对训练轮的依赖。随着建立更多的证明系统来相互支持，OP Stack 可以完全信任其证明，只有在证明之间存在分歧时才需要安全委员会。
随着第一个故障证明系统投入生产，我们预计很快会有更多备用版本的故障证明。鉴于 OP Stack 的开源性质，其他几种证明机制正在被 State Channels、RISCZero、O(1) Labs、AltLayer、Sunnyside Labs 等团队以及 Andreas Bigger、Ben Clabby、Proto Lambda (在 OP Labs) 以及 Chainsafe 工程师 Willem Olding 和 Eric Tu 等个人同时开发。
负责任的推出
OP Stack 的设计理念始终优先考虑基本的安全机制。每个组件在添加到 OP Stack 之前都要经过严格的安全检查。这就是为什么我们一直在逐步推出故障证明，包括大量的内部部署、公共故障证明 Alpha 版本以及升级 OP Sepolia。此外，OP Labs 还举办了一场 Sherlock bug hunt contest，重点关注安全网和 overrides——故障证明系统的组件，对于这些组件，安全性至关重要。
为了维护当前故障证明系统的安全，我们包含了一些显式的 fallback 机制，安全委员会可以在组件发生故障时轻松激活这些机制——特别是，安全委员会有能力暂停提款或 fallback 到许可的争议游戏。引入了一个新的 Deputy Guardian 角色，以便基金会能够快速响应事件。但是，由安全委员会持有的 Guardian 可以在需要时删除此角色，因此最终权力现在归更分散的安全委员会所有。这确保了安全响应协议可以以最小的努力和最大的影响力尽快执行，同时对 Guardian 功能的最终控制权归安全委员会所有。
故障证明系统很复杂，并且建立对代码正确性的信心需要时间。在生产中启动带有有限训练轮的版本是确保在删除保护措施之前确保代码质量的必要步骤。作为我们应对这一挑战的积极方法的一部分，我们更新了我们的 bug bounty program，认识到集体努力在识别和报告潜在问题方面的价值。
提款流程的重大变更
由于为了在 OP Mainnet 上实施无需许可的故障证明，提款流程发生了重大变更，因此升级引入了一些影响 bridges、CEX 和自定义提款解决方案的重大变更。请访问 Optimism 开发者文档以了解这些变更、如何处理它们以及如何获得更多支持。
现在无需许可的故障证明系统已在 OP Mainnet 上线，下一步是将故障证明引入 Superchain mainnets。Base、Metal、Mode、Zora 和其他 OP Stack chains 最终也将升级以包含此功能。请继续关注更多更新！
