以太坊聯合創始人Vitalik Buterin近日在ETHSeoul上發表講話時預測,ZK-Rollups將在以太坊的第2層擴展戰爭中擊敗Optimistic Rollups。 Vitalik Buterin 比較這兩種解決方案,觀察到ZK-Rollups在轉移資金方面更快。
Buterin強調,雖然Optimistic Rollup更加成熟,但從長遠來看,零知識Rollup 技術的基礎知識將使其取代Optimistic Rollup。
Layer 2擴容方案又稱鏈下擴容,指不改變區塊鏈底層協議和基礎規則,通過狀態通道、側鍊等方案提高交易處理速度。 L2解決方案是由構建在鏈上的智能合約來實現對L1 的擴展。通過將交易執行外包給L2 網絡來進行,然後L2 網絡再將交易處理結果匯報給L1 網絡,從而為待處理交易創造了額外的空間。目前Layer2解決方案主要包含狀態通道、側鏈、Plasma、Optimistic Rollup、Validium、zkRollup 等。可以說,第2層解決方案本質上是通過在區塊鏈基礎層之上運行一種架構來比一般的區塊鏈架構更快地處理事務。
Optimistic和ZK-Rollups是最廣泛採用的第2層解決方案,旨在通過鏈下計算擴展以太坊,同時仍保留主區塊鏈的安全性。但是,這些解決方案的架構和它們提供的安全級別存在差異。
Buterin 指出,ZK-Rollups 在將資金進出主網時速度更快,這可能會導致它們被更廣泛地採用。
Buterin 指出,我的觀點是,從長遠來看,ZK-Rollups 最終將擊敗Optimistic Rollups,因為它們具有這些基本優勢,比如你不需要有7天的退出期,從現在起10多年甚至更久,我預計Rollups基本上都是ZK。
然而,Buterin也承認,ZK-Rollups 尚未成熟,目前難以建立。有很多心理挑戰,尤其是在安全地做所有這些事情並確保所有電路都是正確的方面。 Optimistic Rollup技術更加成熟。
雖然ZK-Rollups 更快,但ZK-Rollups缺少的一件事是以太坊虛擬機(EVM),這使得它們難以運行像DeFi協議這樣的去中心化應用程序。 EVM是以太坊區塊鏈上用於去中心化應用程序的主要處理單元。但這可能很快就會改變,因為ZK-Rollups 的EVM 兼容性正在開發中。 Scroll、zkSync和Polygon等第2 層項目已宣布計劃引入稱為zk-EVM的計算環境,該環境將允許ZK-Rollups 獨立運行所有類型的通用智能合約。
Buterin 補充說,我們實際上已經開始看到zk-EVM 實現幾乎可以通過以太坊交易進行擴展,這太棒了。
Optimistic 擴容方案是基於“樂觀”機制的,採用的是欺詐證明(Fraud proofs),即係統樂觀的相信交易數據的正確性,數據不經過有效驗證,但會直接進入一個等待期,等待期裡如果有任何節點提出異議並佐證惡意交易,則交易取消;若無異議,等待期結束,交易自動完成並寫入區塊。這種“欺詐證明”方案不需要在每筆交易中部署驗證,大大節省了網絡計算資源跟成本,同時也保證了及時的最終確定性。 OptimisticRollup最突出的兩個方案是 Arbitrum 和Optimism。
ZK Rollup 即通過零知識有效性證明的擴容方案。 ZK Rollup分批處理鏈下交易,並生成加密有效性證明來驗證每批交易的真實性。有效性證明將批量交易添加到L1 區塊鏈。當交易批次被提交時,該證明可以被L1合約快速驗證,無效的批次可以被直接拒絕。