無需許可故障證明系統在OP主網上線速覽其特性

作者: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 進入第一階段,並對超級鏈實現完全去中心化的未來的道路感到樂觀。

Total
0
Shares
Related Posts