文章介绍了OP Stack的首个故障证明系统（Fault Proof System, FPS）的设计，该系统旨在通过模块化设计实现技术去中心化，并为未来的有效性证明（Validity Proofs）奠定基础。FPS包含故障证明程序（FPP）、故障证明虚拟机（FPVM）和争议解决机制，为Optimism生态系统的去中心化和可扩展性提供了关键支持，并鼓励社区贡献。
Bedrock 已经发布，Superchain 生态系统正在发展，现在 OP Labs、Base 和整个 Optimism Collective 的开发者都专注于 OP Stack 的去中心化！我很高兴分享更多关于 OP Stack 的第一个 Fault Proof System 的设计，它将如何让 Collective 在技术去中心化方面取得重大进展，以及由于 OP Stack，Fault Proof System 可用的下一级可定制性。
技术去中心化的进展
在二月份，我概述了 OP Stack 和 Optimism 的技术去中心化之路。该计划包括基线去中心化里程碑，如 Permissionless Output Proposals 和 Bridge Decentralization。这些里程碑被纳入计划，以便我们即使在 Fault Proofs 上迭代需要一些时间，也能在去中心化方面取得进展。
现在 Bedrock 已经发布，我们真的很高兴地报告说，OP Stack 的 Fault Proof System 已经取得了重大进展。这意味着发布 Fault Proofs 是 Optimism 生态系统中下一个值得期待的主要里程碑！
以下是 Fault Proof System 组件的概要：
Fault Proof Program (FPP)
FPP，或 "op-program"，充当一个确定性程序，它从 L1 上的数据中播种。它获取所需的数据以检查任何错误。它还可以定义预取信息的主机。
Fault Proof Virtual Machine (FPVM)
FPVM，又名 "Cannon"，运行 op-program。Cannon 用 Go 编写，并模拟一台 MIPS 机器，该机器运行由 op-program 定义的 L2 Ethereum Virtual Machine (EVM)，同时它本身可以在 L1 EVM 中被证明。这种抽象级别允许系统保持对每个指令步骤的精确控制和跟踪。它可以获取必要的数据（预映像）或使用预加载的数据运行。
Dispute Game
Dispute Game 解决关于 op-program 输出的分歧。目的是将分歧缩小到指令跟踪中的精确点。dispute game 的解决依赖于识别第一个无可争议的声明，基于此可以确定根声明的有效性。
第一个将集成以解决由 Cannon 和 op-program 生成的跟踪的 Dispute Game 是一个 Bisection game （但许多其他的 Dispute Game 设计是可能的！）
前往 OP Goerli 及更远！
我们渴望将 Fault Proof System 的 alpha 版本带到测试网，以便生态系统开发者可以测试并尝试破坏 MVP，并开始考虑构建 alt-fault proofs 或其他模块化组件。👀 👀 👀
没错！Fault Proof System 的设计旨在展示 OP Stack 模块化的强大功能。这样，生态系统构建者可以轻松设计自定义 OP Stack Fault Proof 组件，从证明方案到虚拟机，甚至独特 dispute games。通过模块化 Fault Proof Program (FPP) 和 Fault Proof Virtual Machine (FPVM)，可以并行改进每个组件，从而提高系统性能和创新。我们希望这有助于为一个充满活力的开源 EVM 证明系统生态系统奠定基础。
优先考虑去中心化和可扩展性
Fault Proof System 是实现协议去中心化的关键。从技术上讲，它将实现安全的桥接，而无需中心化的后备。至关重要的是，它的开源性质和标准、最小的实现差异使得协议的多个实现变得容易。这些多个实现能够实现安全性，并且是在达到 Stage 2 技术去中心化 之前的要求。
但除此之外，拥有由不同社区成员维护的多个实现对于社会去中心化至关重要。社会去中心化是任何区块链中一个被低估但至关重要的策略。由不同的贡献者构建和维护的客户端、证明机制、dispute games 和其他基础设施越多，协议就越去中心化。使模块化成为 Fault Proof System 设计的关键部分，为整个 Collective 的开发者创造了更多参与创建和维护 OP Mainnet 和 Superchain 的机会。
为有效性证明奠定基础
模块化证明设计的另一个好处是，它为向 OP Stack 添加零知识证明 (ZKP) 创建了一条清晰的路径。FPP 和 FPVM 的分离意味着相同的 op-program 可以在 FPVM 和 ZKVM 中运行。这样，只要 ZKP 开发者以兼容的 VM 规范为目标，他们就不需要了解 FPP 的内部工作原理。
同样，优化 FPP 的开发者也不需要了解 ZKVM 的内部工作原理。这种复杂性的降低和关注点的分离是 OP Stack 快速 ZKP 开发的关键。关注 这个 RFP 以了解有趣的 OP Stack ZKP 开发！这些 OP Stack ZKP 将支持基于 ZK 的有效性证明，并支持链之间的低延迟桥接。这些桥接对于解锁 Superchain 的可组合性至关重要，因此对于实现支持统一和互连的 Superchain 的目标至关重要。
我们的 Superchain 未来的 fault proof system
OP Stack 是确保 Superchain 基础设施（包括 Fault Proof System）可组合、通用且面向未来的关键。Fault Proof System 代表着朝着更去中心化和更高效的 Superchain 迈出的重要一步。该系统将使开发者更容易自定义他们的工作，并使用户能够从改进的安全性和性能中受益。
开始思考如何为 OP Stack 做出贡献并帮助保护 Superchain 永远不会太早。Optimism Ecosystem 的 Contributions Dashboard 充满了关于如何开始为 Collective 做出贡献的灵感和指南。
