作者:0xSalazar,加密KOL;翻譯:金色財經xiaozou
當我們提到zkEVM時,我們想到的是Scroll。為什麼? Scroll將自己定位為具有十足Eth精神的“正確”zk-rollup的典範,並且資金充足。但除此之外,他們還有很棒的技術支持。本文是Scroll的體系結構概述。
我們將在本文探討如下話題:
undefined 當前架構
undefined Scroll節點、Roller網絡、rollup和橋接合約
undefined Scroll運作流程
不必擔心,這些內容都很通俗易懂。
1、當前架構
Scroll架構由三部分基礎設施構成——Scroll節點、Roller網絡,及rollup和橋接合約。
2、Scroll節點、Roller網絡、rollup和橋接合約
(1)Scroll節點
Scroll節點負責構建L2區塊並通過測序器(Sequencer)將L2區塊rollup到以太坊L1上。它還通過中繼器(Relayer)在L1和L2之間進行通信。
Scroll節點由三部分組成:測序器、協調器(Coordinator)和中繼器。測序器是現在流行的Geth節點的一個分支,因其可靠性、最大安全性和久經考驗的聲譽而被選中。
該測序器從L2內存池中接收L2交易,然後執行交易來創建一個新的L2區塊,再更新到當前狀態。協調器接收該區塊的執行跟踪(execution trace)信息,然後將其傳遞給Roller以生成證明。對於中繼器來說,也許中繼看門狗這個名字更適合!拋開玩笑話,中繼器的工作是像看門狗一樣監視rollup合約,以確保數據的可用性、有效性和一般狀態都在掌控下。中繼器還密切關注Scroll和ETH上橋接合約的存取款活動,並在它們之間進行消息傳輸。
(2)Roller
Roller負責為L2交易生成有效性證明。它使用zkp(零知識證明)硬件加速器,如GPU、FPGA和ASIC,以加快證明生成過程並降低其成本。這是因為在證明生成過程中存在瓶頸問題,而加速器可以幫助解決這個問題。
如果你想了解更多詳細內容,下面這篇推文可能會有所幫助。
Roller分3步運行:
第一步:我們剛剛提到過執行跟踪;協調器發送的執行跟踪被Roller轉化為電路見證(circuit witness)。
第二步:為每個zkEVM電路生成證明。
第三步:使用證明聚合(proof aggregation)將多個zkEVM電路組合成一個證明。
注:zk電路使用算術方法生成。
更多關於證明聚合的內容,可參考下面的推文:
(3)rollup和橋接合約
rollup和橋接合約是Scroll的DA(數據可用性)層,用於L1和L2之間的消息傳輸,通過連接到以太坊的基礎層來實現這一點。
Rollup合約從定序器接收L2狀態根和區塊數據。它將狀態根存儲在以太坊狀態上,並將區塊數據存儲為ETH上的調用數據。這為Scroll提供了DA支持,並確保中繼器對L2區塊的重建。只有當一個L2區塊的有效性通過rollup合約驗證後,才認為該L2區塊已在Scroll上確定。
橋接合約是一種無需信任的消息傳輸/橋接協議,幫助在L1和L2之間轉移ERC-20資產。
3、Scroll運作流程
Scroll zk-rollup運作流程由上面提到的所有部分構成。這就是L2區塊在ETH上生成並最終確定的方式:
首先,定序器創建一個區塊序列,它針對每個區塊生成執行跟踪並將其發送給協調器,同時還將交易數據提交給Rollup合約。接下來,協調器隨機選擇一個Roller來為每個區塊跟踪生成有效性證明。然後,Roller將區塊證明發送回協調器,並且對於每k個區塊,將給另一個Roller分派一個聚合任務將k個區塊證明組合為一個單獨的聚合證明(k在這裡表示區塊數量)。最後,由協調器發送聚合證明到rollup合約,以確定L2區塊。