原文標題：《An Introduction to Scroll: the General-purpose Zero-Knowledge Rollup》
原文作者：FRANCESCO
原文編譯：Peisen，BlockBeats
編者語：基於ZK Rollup 的以太坊Layer 2 網絡Scroll 從去年至今獲得了業界的高度關注。 Scroll 於2022 年4 月和今年3 月分別宣布完成了由Polychain Capital 領投的3000 萬美元A 輪融資以及Polychain Capital、紅杉中國、IOSG Ventures、啟明創投和OKX Ventures 等參投的5000 萬美元融資。
10 月10 日，以太坊Layer 2 解決方案Scroll 主網已於當日下午2 點產生創世區塊。 10 月17 日，Scroll 官方宣布主網已正式上線，隨後部分項目陸續開始整合或支援Scroll 主網，為用戶提供更多的應用程序場景和服務。
根據Blockscout Scroll 主網Token 頁面，若參考目前持有地址數最多的Token，受關注的項目包括Merkly、Zonic on Scroll、PunkSwap Token、Skydrome、Scroll Name Service、Scroll Doge (zkDoge)、Scrollswap Finance Token ( SF )、Script (SCRIPT) 、Scroll Inu.(Sinu)。
相關閱讀：《Scroll 主網啟動：使用者都在互動哪些Dapp？》
作為基於zkEVM 的通用ZK-Rollup，Scroll 旨在為現有應用程式和工具提供最高等級的EVM 相容性。加密研究員@francesco web3 對Scroll 的技術原理、工作流程以及目前發展狀態進行了研究，並提出了值得關注和思考的幾個問題。 BlockBeats 將原文編譯如下：
通用型zk-Rollup
10 月10 日，Scroll 神秘地發布了一條消息，宣布其主網的正式啟動。除了空投礦業的貼文之外，我對這個事件了解並不透徹。因此，我決定深入探討這個事件！
了解Scroll
Scroll 是針對以太坊的擴展解決方案：一個通用的Layer 2 (L2) 零知識（zk）rollup。這聽起來可能包含了許多專業術語，讓我們逐一解釋它們。
作為以太坊上的一個L2 rollup，Scroll 從本質上繼承了ETH 的安全性。
除了安全性之外，Scroll 還與豐富的以太坊生態系統實現了無縫集成，包括工具、dApps、智慧合約以及龐大的用戶群。
這種方法使得這些資源能夠輕鬆地轉移和互換使用，確保了EVM 相容性。可以說，「對使用者和開發者來說，Scroll 幾乎就是以太坊」。
在Scroll 出現之前，由於產生以太坊虛擬機器（EVM）計算的零知識證明的複雜性，沒有通用的零知識（zk）rollup。簡而言之，作為一個通用rollup 意味著具有與EVM 等價的功能。然而，直到現在，成功地在zk rollup 上運行一個EVM 環境一直是一個難以捉摸的目標。這主要歸因於將EVM 交易轉換為zk 證明可解釋的邏輯電路的複雜性。
正是這種複雜性解釋了為什麼zk-rollup 項目只專注於特定應用，如dYdX 專注於交易，ImmutableX 專注於NFT。由於技術困難，無法開發出可以部署各種DApps 的通用網路。這也是為什麼與op-rollup 相比，zk-rollup 在總鎖定價值（TVL）和用戶數量方面表現不佳。
相關閱讀：《【Rollup 系列】第1 部分：Scroll，原生zkEVM 的夢想》
儘管有這些挑戰，但對通用零知識（zk）rollup 的探索仍在繼續。與EVM 相容是一件大事，因為它極大地簡化了開發人員轉向新鏈所需的努力。例如，轉向非EVM 鏈意味著：
需要將現有合約遷移並重寫到新的rollup
不受現有EVM 工具支援（例如庫、錢包、市場等）
無法支援來自以太坊生態系統的應用程式
許多人已經開始著手開發通用zk EVM，可以從不同層面看它們在與EVM 的兼容性：
Starknet 和zkSync（語言層面）：這些目前是專用解決方案，使用自訂虛擬機器（Cairo VM）運行。它們運行一個自定義VM，並創建了一個編譯器“Warp Transpiler”，將Solidity 代碼轉換為Cairo VM 字節碼。
他們所做的是創建一個新的VM，並在其頂部添加以太坊工具支援作為附加層。這仍然實現了使Solidity 合約可匯出到StarkNet，從而讓「EVM 相容」的目標。儘管不是直接執行EVM，但它保留了相容性，讓Solidity 開發者為他們的rollup 編寫程式碼。
在使用這些解決方案時：
您不是在EVM 內部執行
您沒有與其他以太坊介面的兼容性
Solidity 開發者能夠編寫可在您的rollup 上使用的程式碼
這是一個很好的折衷方案。
Polygon zk-EVM（字節碼層面）：執行一個自訂VM，但已將所有EVM 操作碼對應到對其VM 有效的操作碼（「操作碼級等價」）。 Polygon 的方法是建構一個具有「操作碼級等價」的zkEVM。與Scroll 相比，Polygon 有一個替代運行時（“zkExecutor”），它運行自訂的“zkASM”操作碼，而不是直接運行EVM 操作碼。這樣做是為了優化EVM 解釋，因為直接證明EVM 會有太多限制。
下圖展示了這個過程的幕後情況：
儘管這種配置比Scroll 更有效率，但它增加了大量的自定義代碼（用於創建zkASM），可能需要修改代碼或工具以實現相容性，並且隨著時間的推移可能與以太坊越來越不同（例如，燃氣價格可能有所不同，代碼庫可能越來越不同）。 Scroll（字節碼等級）：將EVM 執行直接轉換為可驗證的電路，從而在工具支援和相容性方面帶來好處。
儘管這種配置比Scroll 更有效率，但它增加了大量的自定義代碼來創建zkASM，可能需要修改代碼或工具以實現相容性，並且隨著時間的推移可能與以太坊越來越不同。例如，gas 費用可能不同，代碼庫可能會逐步改變。
Scroll（字節碼層面）：將EVM 執行直接轉換為可驗證的電路，從而在工具支援和相容性方面帶來好處。
目前，Scroll 並不支援所有的EVM 操作碼，但他們計劃最終隨著時間的推移逐步支援。前面的大部分內容來自Immutable 對這個主題的一個很好的解釋。
Scroll 是如何運作的，它的技術棧是什麼？
Scroll 是一個zk rollup，它在Eth L1 上有一個智慧合約，這是一個zkEVM 證明驗證器，能夠驗證Scroll 協定是否安全。
Scroll 上的交易是如何進行的？
Scroll 能夠大量處理區塊，並將區塊資料寫入以太坊。一旦在後續區塊產生有效性證明，它將被寫入以太坊。
因此，在Scroll 上，區塊可以有三種狀態：
預提交：一個區塊已經由排序器提議並包含在Scroll 中。
已提交：區塊的交易數據已發佈到以太坊（在Scroll 的rollup 合約中）。
最終確定：正確的執行已經通過在以太坊鏈上發布的有效性證明得到確認。
交易工作流程
來自排序器的交易被打包成一個區塊；
數據和調用數據被提交到L1 的rollup 合約，區塊被提交（D 1）；
證明產生：訊息傳遞給協調器（已完成工作的「追蹤」），然後傳遞給證明者，產生一個zk 證明；
證明產生可以在多個區塊中進行，可以並行執行，並傳遞給不同的證明者；
聚合證明產生：證明被產生並批量聚合，然後將在鏈上提交並驗證（驗證）；
區塊被最終確定。
交易> 由運行Geth 分叉的節點處理> 執行跟踪> 輸入zkEVM 電路> 產生證明> 輸入到聚合中，顯示證明有效> 產生聚合證明> 傳送到L1 合約
為什麼選擇Scroll？
對開發者友善：Scroll 提供與EVM 等價的字節碼，確保與現有合約和工具的兼容性。
高效率：Scroll 為以太坊創造更安全的區塊空間，有效降低瓦斯費用。
快速反應：Scroll 的區塊時間僅為3 秒，相較於以太坊的12 秒，大幅提升了速度。
保持一致性：Scroll 與以太坊願景保持一致，其團隊也為以太坊的隱私和擴展進程貢獻了代碼。
持續熱度
自發布以來，Scroll 的總鎖定價值（TVL）已累積超過150 萬美元，呈現穩定成長態勢。
已有超過1383 位用戶在Scroll 上進行了ETH 橋接。
已有超過976 枚ETH 被橋接到Scroll 主網，總價值約150 萬美元。
值得思考的問題
zk-rollup 被視為優於樂觀rollup 競爭對手的設計，尤其在隱私方面表現突出，由於不存在欺詐證明，因此提現無需等待延遲。
作為通用的zk-rollup，Scroll 以字節碼相容性為特點，在L2 層面提供了zk 證明的諸多優勢，同時不影響EVM 的工具和網絡效應。
完全的EVM 相容性被視為L2 的終極目標，而這正是Scroll 的核心價值所在：更強大的以太坊版本。 Scroll 的字節碼相容性將zk 證明的所有優勢與以太坊的最大相容性完美結合。
值得一提的是，Scroll 更關注zk 證明的「同步」方面，而非其「隱私」方面，這使得該協議能夠將大量計算壓縮成一個微小的證明。
同樣值得注意的是Scroll 對去中心化的承諾。儘管初始階段會存在一個中心化的排序器，但去中心化的計劃已在規劃中。
此外，所有的zk 證明最終都將由一個去中心化的「證明者」網絡來完成。
