作者：The Optimism Collective & Op Labs；翻譯：0xjs@金色財經

2024年6月10日，經治理批准的、無需許可的故障證明（fault proof）已在 OP 主網上線，OP Stack 也隨之進入Stage 1。這是超級鏈的一個重要里程碑，很快更多的 OP Stack 鏈將升級以包含此功能，首先是 Base、Metal、Mode 和 Zora。

無需許可的故障證明(fault proof)系統允許從 OP 主網提取 ETH 和 ERC-20 代幣，而無需任何受信任的第三方參與。這也意味着任何想要參與協議的用戶都可以挑戰和刪除無效的提款。雖然參與故障證明系統是無需許可的，但Optimism安全委員會保留在系統發生故障時進行干預並將系統恢復到許可狀態的權力。擁有這種後備是負責任且安全地推出故障證明系統的一部分，Optimism安全委員會符合L2Beat 對第 1 階段的完善的行業標準定義。

速覽故障證明系統

功能齊全的故障證明系統增強了橋接的 ETH 和 ERC-20 代幣的安全性，其功能爲完全去中心化鋪平了道路。

改進的信任模型 

無需許可的故障證明系統使用戶能夠將 ETH 和 ERC-20 代幣從 L2 提取到 L1，而無需涉及任何受信任的第三方（如排序器或任何其他中心化基礎設施）。 

這意味着提款不再依賴於特權提議者角色發佈輸出根。相反，現在任何人都可以通過故障爭議系統發佈輸出提案。輸出提案對 L2 的狀態提出聲明。一旦最終確定，該聲明可用於促進提款，而無需採取任何特權行動。即便安理會撤銷提幣。

任何人都可以爲安全做出貢獻

任何想要參與協議的用戶都可以挑戰並刪除無效的提案。 

爭議博弈提供了一種確定輸出提案有效性的機制。任何人都可以通過參與其相關的爭議博弈來質疑輸出提案的有效性。每個行動都需要放置 ETH bond，不誠實的bond將支付給誠實的bond持有者以支付 gas 成本。

安全理事會作爲安全網

正如Vitalik Buterin 在其Rollup 去中心化願景中所概述的那樣，可以存在臨時訓練輪，這是一種可以在緊急情況下超越故障證明系統的安全機制。這導致了無需許可的故障證明系統的推出，Optimism Collective 的安全委員會作爲後備。在 75% 的簽名閾值下，它可以在故障證明系統發生故障或手動升級時進行干預。

該系統減少了信任假設，爲全面去中心化鋪平了道路。OP Labs 團隊的路線圖旨在實現 OP Stack 的第二階段去中心化，當技術被證明是安全的時，將移除輔助輪。

模塊化設計，實現多重防護 

故障證明系統的模塊化特性使其能夠集成額外的證明機制，爲未來的多重證明系統奠定堅實的基礎。得益於此升級中包含的智能合約框架，可以輕鬆添加額外的證明系統。 

這些證明協同工作，將在生產過程中提供增強的安全層。隨着 OP Stack 朝着實現第二階段去中心化的方向發展，這將進一步減少後續升級中的信任假設。

然而，OP Stack 並非僅通過實施故障證明就達到第一階段。專門針對系統的額外保護措施可確保安全委員會在出現錯誤時能夠迅速有效地採取行動。如果啓動了保護措施，提款將被重置，因此需要重新證明所有待處理的提款。安全性是 OP Stack 內置所有內容的首要考慮因素，這些努力與故障證明工作相結合，使 OP Stack 達到第一階段的功能。

下一站：Stage 2

2022 年，Vitalik 概述了一個框架，說明 L2 如何逐步擺脫訓練輪，走向完全去中心化。L2 項目通常會在開發的各個階段儘早啓動，並在安全模型完全無需許可之前啓動生態系統。隨着項目的進展，他們可以擺脫訓練輪，從第 0 階段推進到第 1 階段，最終進入第 2 階段去中心化。

現在OP對第一階段的安全模型充滿信心，核心開發團隊和生態系統中一些最受尊敬和最勤奮的安全審計員已經徹底審查了安全理事會在任何情況下保持系統安全的能力，下一步就是努力實現第二階段。接下來是：對爭議博弈（Dispute Game）本身的審計，將於 7 月進行。

但展望未來，必須超越第一階段。

L2s 處於不同的開發階段，這些項目通常會同時構建生態系統和加強代碼。隨着項目的成熟，其代碼也會不斷完善，去中心化進程也會不斷推進。早期的安全措施或“輔助工具”已不再必要。

在 OP 主網上啓動故障證明、將功能擴展到超級鏈生態系統中的其他 OP Stack 鏈以及實現第一階段的去中心化是重要的里程碑。但終局是第二階段的去中心化。

目前的故障證明系統爲實現“多重證明涅槃”奠定了基礎——就像 OP Stack 本身一樣，它在設計上是開源和模塊化的。該框架旨在使 OP Stack 能夠支持多種證明系統，包括零知識證明以及當前的系統 Cannon。將冗餘證明方案投入生產，以確保從 OP Stack Chains 提款回以太坊，可以將安全委員會的作用限制爲僅在意見不一致的情況下在證明之間進行選擇。

故障證明系統由來自 Superchain 的核心開發團隊（如 OP Labs、Base 和 Sunnyside Labs）構建和測試。這種協作方式使此次發佈成爲可能。故障證明提案也得到了Optimism 的 Token House 和 Citizens' House 的批准，通過了 Optimism 治理的兩步審批流程。

在接下來的幾個月裏，我們尋求在測試網上推出其他證明系統，包括 Asterisc 和 Kona。證明這些冗餘證明方案的可靠性和穩健性將有助於超級鏈實現第二階段的去中心化。

我們正在慶祝故障證明的推出，以及 OP Stack 進入第一階段，並對超級鏈實現完全去中心化的未來的道路感到樂觀。