以太坊的聯合創始人Vitalik Buterin最近提出了一種新的證明系統架構,以實現EVM rollups的階段2 (Stage 2),在layer 2的開發路線圖中 (L2)。
根據他在以太坊魔法師論壇上的文章,這種架構結合了三種證明:Optimistic (OP)、Zero-Knowledge (ZK)和Trusted Execution Environment (TEE),旨在提供即時最終性 (instant finality),滿足第二階段的核心標準,同時減少對單一系統的過度依賴風險。
Buterin 提出了一個系統,其中 rollup 的狀態根 (state root) 被視為基於不同證明類型之間的共識而完善。
該架構旨在滿足三個主要目標,按照Buterin的說法:在正常情況下提供即時完成,遵循第二階段的標準(,包括確保“無需信任”的系統如ZK和OP優先於“半信任”因素如TEE或安全委員會),並避免在短期內過度依賴ZK,因為這些系統當前的故障率仍然很高。
目前,以太坊生態系統正在經歷L2的安全性和完整性的顯著改善。三個rollup已經達到階段1 (Stage 1),預計即將推出的升級如Pectra (將提供更多的blob空間),以及Fusaka 19 (旨在在第四季度提供72個blob或在第3)季度提供12-24個blob,這被期望能更好地滿足L2的需求。此外,高質量的ZK-EVM選項正在增加,承諾縮短完成時間。
Buterin提出了三個主要發展方向:
Buterin認為ZK-EVM正在接近在一個時間槽(one-slot proofs)內生成證明的能力,這對於L1和L2都是必要的。然而,他警告說,完整性錯誤(completeness bugs)和安全性錯誤(soundness bugs)仍然是風險,特別是在ZK源代碼在系統之間廣泛共享時。2中的3架構利用了ZK和OP之間的基本差異,以降低併發錯誤的風險,希望在未來幾年內,隨著錯誤的消除,生態系統能夠轉變為“完全不需要信任”的狀態。
你可以在這裡查看ETH的價格。
免責聲明: 本文僅供信息參考,不構成投資建議。投資者在做出決定之前應進行充分的瞭解。我們對您的投資決策不承擔任何責任。
乾隆
僅@media屏幕和 (min-width: 0px) 和 (min-height: 0px) { div[id^=“wrapper-sevio-d89f58f5-7b63-40be-98c0-6b1fd62584fb”] { 寬度:320px; 高度:100px; } } 僅@media屏幕和 (min-width: 728px) 和 (min-height: 0px) { div[id^=“wrapper-sevio-d89f58f5-7b63-40be-98c0-6b1fd62584fb”] { 寬度:728px; 高度:90px; } }