作者：@francescoweb3 / 來源：https://twitter.com/francescoweb3/status/1714314522121609580

翻譯：火火/白話區塊鏈


10月10日，Scroll發布了一則神秘的消息，宣布他們的主網正式上線。除了一些關于空投和可以進行農場收益的帖子外，我對此并不完全了解。
因此，我決定深入了解一下

1、Scroll 簡介

Scroll 是以太坊的一個擴容解決方案：它是一個 Layer 2（L2）的通用零知識（zk）Rollup。聽起來有很多高級詞匯，讓我們逐一解釋一下。


作為以太坊上的一個 Layer 2 Rollup，Scroll 本身具備了以太坊的安全性。除了安全性之外，Scroll 還無縫集成到豐富的以太坊生態系統中：
1）工具
2）去中心化應用（dApps）
3）智能合約
4）用戶群體
這種方法使得這些資源可以輕松地轉移和互相使用，保證了前所未有的 EVM 兼容性。對于用戶和開發者而言，相當于Scroll 實際上就是以太坊本身。
直到 Scroll 出現之前，由于在為以太坊虛擬機（EVM）計算生成 zk 證明的復雜性，沒有出現通用的 zk rollup。簡單來說，成為通用的 rollup 意味著與 EVM 具備功能等效性。
然而，將 EVM 環境成功運行在 zk rollup 上一直是一個難以實現的目標。這歸因于將 EVM 交易轉化為可由 zk 證明解釋的邏輯電路的復雜性。
正是這種復雜性也解釋了為什么 zk-rollup 項目只專注于特定的應用領域，比如 dYdX 專注于交易，ImmutableX 專注于非同質化Token（NFT）。
由于技術上的困難，無法開發出能夠部署各種 DApp 的通用網絡。這也是為什么與樂觀 Rollup（如 Immutable）相比，zk rollup 在總鎖定價值（TVL）和用戶數量方面表現不佳的原因。
盡管面臨這些挑戰，對于通用的 zk rollup 的追求仍在繼續。與 EVM 兼容性是一件大事，因為它極大地簡化了開發者在遷移到新鏈上所需的工作。遷移到非 EVM 鏈意味著：
1）必須將現有的合約遷移到新的 rollup 并進行重寫
2）不受現有 EVM 工具支持（庫、錢包、市場等）
3）無法支持來自以太坊生態系統的應用程序
許多人已經承擔起通用的 zk EVM 的任務，他們在與 EVM 相關的兼容性方面有不同的級別。

2、Starknet 和 zkSync（在語言層面）：

這些是目前專門的解決方案，它們使用自己定制的虛擬機（Cairo VM）進行操作。它們運行一個自定義的虛擬機，并開發了一個編譯器，名為“Warp Transpiler”，它將 Solidity 代碼轉換為 Cairo VM 字節碼。
添加圖片注釋，不超過 140 字（可選）
它們所做的是創建了一個新的虛擬機，并在其之上增加了以太坊工具支持作為額外的層。這仍然實現了將 Solidity 合約導出到 StarkNet 并因此實現“與 EVM 兼容”的目標。
盡管不是直接在 EVM 上執行，但它保持了兼容性，使得 Solidity 開發者能夠為其 rollup 編寫代碼。這是一個很好的折中方案。

3、Polygon 的 zk-EVM（字節碼層面）：

它運行一個自定義的虛擬機，但已經將所有的 EVM 操作碼映射為適用于他們虛擬機的操作碼。Polygon 的方法是構建一個具有“操作碼級等效性”的 zkEVM。
與 Scroll 相比，Polygon 使用了一個備用的運行時環境（稱為“zkExecutor”），它運行自定義的“zkASM”操作碼，而不是直接運行 EVM 操作碼。這樣做是為了優化 EVM 的解釋（因為直接證明 EVM 將會有太多的限制）。

這是一個描述背后過程的示意圖：

盡管這種配置比 Scroll 更高效，但它增加了相當數量的定制代碼（用于創建 zkASM），可能需要修改代碼或工具以實現兼容性，并且隨著時間的推移，它可能與以太坊越來越不同。

4、Scroll（字節碼層面）：

將 EVM 執行直接轉換為可驗證的電路，具有工具支持和兼容性方面的優勢。
目前，Scroll 并不支持所有的 EVM 操作碼，但他們計劃隨著時間的推移逐步支持所有操作碼。


1）Scroll 的技術堆棧如何工作？
Scroll 是一個 zk rollup，并且在以太坊 L1 上有一個智能合約，這個合約是一個 zkEVM 證明驗證器，能夠驗證 Scroll 協議是否安全。


2）在 Scroll 上，交易是如何運作的？
Scroll 能夠批量處理區塊，并將區塊數據寫入以太坊。
一旦在后續區塊生成有效性證明，該證明將被寫入以太坊。

因此，Scroll 上的區塊可以有三種狀態：
→預提交（Pre-committed）：由序列化者提議并包含在 Scroll 中。
→已提交（Committed）：交易數據已發布到以太坊。
→已完成（Finalized）：通過在以太坊上發布的鏈上有效性證明已確認正確執行。

3）交易流程
（1）從序列化者傳入的交易被打包在一個區塊中（1）。
（2）數據和調用數據被提交到 L1 上的 rollup 合約，并提交該區塊（D1）。

（3）證明生成：信息傳遞給協調組件（一種“追蹤”已完成工作的方式），然后傳遞給證明生成器，生成 zk 證明。
（4）證明生成可能需要多個區塊，并可以由不同的“證明生成器”并行執行。

（5）聚合證明生成：證明被批量生成和聚合，然后提交到鏈上進行驗證（驗證）。
（6）區塊被最終確認。

交易 > 由運行 Geth 分叉的節點處理 > 執行跟蹤 > 輸入到 zkEVM 電路中 > 生成證明 > 輸入到聚合中以證明證明的有效性 > 生成聚合證明 > 發送到 L1 合約。

5、為什么選擇 Scroll？

-以開發者為中心：提供與 EVM 的字節碼等價性
-高效性：為以太坊創建更安全的區塊空間，降低燃氣費用
-速度：改進的區塊時間（3 秒對比以太坊的 12 秒）
-與以太坊愿景的一致性

1）早期啟動階段：自推出以來，Scroll 的總鎖定價值（TVL）已經超過了 150 萬美元。

已有超過 1383 位用戶在 Scroll 上進行了 ETH 的橋接操作。

已經有超過 975 個以太幣（ETH）被橋接到 Scroll 主網，總價值達到了 150 萬美元。

6、小結

zk rollup 被認為是與其樂觀 rollup 對手相比更優秀的設計，特別是在隱私方面 — 并且由于沒有欺詐證明的存在，缺乏提款延遲。
作為一個具有字節碼兼容性的通用 zk-rollup，Scroll 承諾在 L2 上提供 zk 證明的好處，同時不會影響 EVM 的工具支持和網絡效應。完全的 EVM 兼容性是 L2 的終極目標，而這也是 Scroll 的價值主張：強化版的以太坊。Scroll 的字節碼兼容性結合了 zk 證明的所有優勢，并最大限度地與以太坊保持兼容。
Scroll 的另一個值得注意的特點是他們對去中心化的承諾。盡管初始階段會有一個集中化的序列化者，但計劃將其去中心化。
此外，所有的 zk 證明最終將由一個去中心化的“證明生成器”網絡生成。