撰寫:Blockworks Research,Westie
編譯:深潮TechFlow
鑑於EVM 在開發人員中的普及,人們一直希望將zk Rollup 技術的可擴展性與EVM 的開發者體驗相結合。這導致了一場zkEVM 系統的軍備競賽,其中主要的參與者是Scroll、zkSync 和Polygon,而Scroll 相對於其他兩者來說一直保持低調。
由於EVM 的限制,zkEVM 面臨著兼容性/等價性和性能之間的必要權衡。 Vitalik Buterin 列出了從1 到4 的等級,以努力闡明各種zkEVM 設計選擇之間的區別:
Scroll 處於這種權衡的中間:他們正在建立一種2.5 的zkEVM。
這意味著它們與EVM 等效,只是對Gas 成本結構的方式進行了非常小的改變。
Scroll 的與眾不同之處
通過保持EVM 的等效性,構建者能夠直接將他們的應用程序從Ethereum L1 遷移到Scroll,而無需對其代碼進行任何修改。它們也是完全開源的,允許任何人使用和驗證他們的代碼。
Scroll 還為他們的排序器使用了Geth 的一個分叉,使其繼承經過實戰檢驗的系統的同時,實現與以太坊的最佳兼容性。
這也意味著他們可以很容易地將任何新的升級應用於Geth;其他zkEVM 可能需要增加代碼複雜性才能進行升級。
Scroll 的架構
Scroll 的架構有三個主要組成部分:Scroll 節點、Roller 網絡和驗證橋。
Scroll 節點的目的是從用戶的交易中構建塊並將它們提交給L1,以及接收來自L1 的消息。
Scroll Node 的三個主要組成部分是排序器、協調器和中繼器。
排序器從L2 mempool 接收一批交易,並執行它們以生成一個新的L2 塊。
然後,該區塊的執行軌跡被發送到協調器,協調器將其傳遞給一個隨機選擇的Roller 以生成證明。
中繼器監控L2 區塊的狀態,及其它們的數據可用性和來自滾動合同的有效性證明,以及來自橋接合同的存款和提款事件,以確保一切都可以被驗證。
Roller 網絡負責生成有效性證明。 Roller 網絡將從協調器那裡接收執行軌跡,將其發送到七個不同的證明電路中,將其匯總到一個最終電路中,並將最終的塊證明送回協調器。
驗證橋包含兩個合約:Rollup 合約和跨鏈橋合約。
跨鏈橋合約處理L1 和L2 之間發送的消息,包括ERC-20 Token 的橋接交易。
Rollup 合約接收並存儲狀態根和區塊數據作為以太坊狀態和calldata。一旦一個區塊證明被Rollup 合約驗證,該區塊就被認為是最終確定的。
總的來說,在排序器創建一個區塊序列並生成其證明後,多個區塊證明被匯總成一個單一的證明,並通過協調器發送到Rollup 合約,在那里區塊被驗證並被最終確定。
路線圖
在過去的3 個月裡,Scroll 一直處於Pre-Alpha 測試階段,包括經過許可的智能合約部署和白名單用戶訪問。
下一個階段將是Alpha 測試網,他們將允許無權限的智能合約部署,任何人都可以使用。
Scroll 的主網將有兩個階段的啟動。
第一階段將使用中心化的排序器和去中心化的證明者一起運行;
第二階段的主要目標是將排序器去中心化。
雖然第二階段仍在積極研究中,但目前的計劃將包括用於MEV 提取的PBS 模型、鏈上挑戰機制和一個排序器委員會,以允許在以太坊L1 上完成交易之前實現最終確定。