坎昆升級來臨，哪些 L2 做了適配？

撰文：Maggie@Foresight Ventures

TL;DR

• 坎昆升級將於 2024 年 3 月 13 日推出，EIP4844 即將上線。Danksharding 是以太坊路線圖的核心，這次升級是實現 Danksharding 的第一步。

• Ethereum L2 適配 EIP4844 後，交易手續費大幅下降，L2 的 TPS 成倍提高。用戶會感覺到交易速度更快、成本更低、體驗更流暢、反應更靈敏。這些 L2 上會有更復雜更大型的 Dapp 應用。

• Optimistic rollups 適配 EIP4844 更簡單，ZK rollups 適配更復雜。以太坊沒有預編譯合約支持 BLS12-381 橢圓曲線，導致部分 ZKP 驗證難度大，阻礙了 ZK rollups 適配 EIP4844 的進度。

• 橢圓曲線的問題可以通過兩種方式解決，1. 等待以太坊對 BLS12-381 橢圓曲線進行預編譯；2.用另一種證明方式來達到同等目的，使用以太坊預編譯支持的 BN254.

• 目前，Arbitrum、Optimistic、Starknet、zkSync、Scroll、Polygon zkEVM 以及新 L2 Morph 都在適配 EIP4844。其中，Arbitrum、Optimistic 和 Starknet 表示坎昆升級後會實施對 EIP4844 的適配。Morph 則率先發布了創新的 zkSNARK zkEVM 適配方案，這將是第一個適配 EIP4844 的 zkSNARK zkEVM

一、背景

2020 年，以太坊發佈的「以 Rollup 為中心的以太坊路線圖」，以及第二年 Vitalik 發表的「Endgame」中描述的以太坊的最終圖景，確定了以太坊的大方向：優化以太坊的基礎層建設，為 Rollup 服務。

以太坊設計了 Danksharding 的分片技術以提高以太坊作為數據可用性層的可用性。它將顯著降低 L2 的交易手續費，提高 Rollup 的 TPS，實現以太坊的大幅擴容。

直至今年，以太坊坎昆 - 德內布（Dencun）升級終於在 2024 年 3 月 13 日推出，EIP4844 即將上線，這次硬分叉可以說是以太坊實現 Danksharding 的第一步，是以太坊路線圖核心中的核心。

二、坎昆升級如何利好 L2？

EIP4844 引入了一種新的交易類型，稱為 blob-carrying 交易。每個 blob-carrying 交易都可以「攜帶」一個 Blob 列表 。Blob 是一個數據包，大約 125 KB。Blob 存儲的時間很短，僅 4096 個 epoch，略多於 18 天。

1. L2 交易手續費大幅下降。由於 Blob 不需要永久存儲，Blob 相比於區塊空間更大更便宜。Blob 可以在相同的 gas 消耗下存儲比 Calldata 多 10 倍的數據。適配了 EIP4844 的 Rollup 可以將交易數據存儲在 Blob 中，將交易費用降低一個數量級。

2. L2 的 TPS 成倍提高。目前每個區塊目標是 3 個 Blob，最多允許 6 個 Blob。區塊只有 90KB，而每個 Blob 大約 125KB。引入 Blob 相當於為區塊額外擴展了幾倍的空間可以用來存 Rollup 的數據，因此 Rollup 的 TPS 也能成倍增加。且 Toni 和 Vitalic 寫的「On Increasing the Block Gas Limit」中表示，會通過增加區塊 Gas limit 和非零 Calldata bytes 的價格，實現更小、變量更少的區塊大小，從而未來可以增加更多 Blob。Blob 更多則存儲空間會更大。

對最終用戶而言，Ethereum L2 適配 EIP4844 後，交易速度更快、成本更低、體驗更流暢、反應更靈敏。這些 L2 上會有更復雜更大型的 Dapp 應用。

三、L2 如何適配 EIP4844？

L2 如何適配 EIP4844 呢？我們需要分 Optimistic Rollup 和 ZK Rollup 來分別討論。

Optimistic Rollups 適配 EIP4844

Optimistic rollup 是通過欺詐證明來保證 rollup 執行的正確性的。即節點首先選擇相信狀態的轉換是正確的，除非有人在規定的時間段內發起欺詐證明，證明之前提交的是狀態轉換是不合法的，則該狀態轉換會被撤銷。

Optimistic Rollup 適配 EIP4844 相對 ZK rollup 來說更簡單。把 L2 的交易都通過 Blob-carrying 交易提交到 L1 即可完成適配。此外，就是要調整欺詐證明使之適配 EIP4844，這部分就可以慢慢做了。畢竟，很多 optimistic rollup 至今也沒上線欺詐證明。上線了欺詐證明的，發現兩年多都沒有一個欺詐證明提交。

L2 交易提交：Rollup 提交的時候，使用 Blob-carrying 交易，將 Rollup 數據存儲在 Blob 中。Blob-carrying 交易的 payload 是rlp([tx_payload_body, blobs, commitments, proofs])，其中

• tx_payload_body- 是標準 EIP-2718 blob 交易的 TransactionPayloadBody。

• blobs- Blob 列表。一個交易最多包含兩個 blob。

• commitments- Blob 的 KZG 承諾列表。

• proofs- Blob 和對應 KZG 承諾的證明列表。這個證明是會被 ETH 節點所驗證的。

調整欺詐證明：

• 首先，證明者和挑戰者需要多輪交互等方式找到爭議點。

• 然後將爭議點提交到 L1 上做判定。適配 EIP4844 則有可能還需要證明這個爭議點的數據存儲在某個 Blob 上。

• 由於 Blob 數據大約 18 天后會被刪除，因此挑戰期必須在被刪除之前，這一點現在的 optimistic rollups 都是滿足的。一般挑戰期不超過 7 天。

ZK Rollups 適配 EIP4844

ZK rollup 是通過 ZKP 來證明 L2 狀態轉換是正確的。ZK rollup 適配 EIP4844 相對 optimistic rollup 來說更復雜。

1. L2 交易提交：這一步 Optimistic Rollup 是相似的。

2. ZK 證明提交：與適配前的 ZK Rollup 相比，除了做狀態轉換的 ZKP 證明以外，還需要多證明一個過程。即證明 blob commitment 和 transaction batch 是對應的，從而保證狀態轉換證明的輸入是正確的。

3. 打個比方：狀態轉換的 ZK 電路能生成計算過程 a + a = b 的證明。當（a=1,b=2）和（a=2,b=4）時生成的 ZKP 都是合法的。因此我還需要提供一個證明，證明我當時提供的輸入是（a=1,b=2）而不是（a=2,b=4）。

4. 這一點在適配 EIP4844 之前是不需要做的，因為數據就直接存儲在 Calldata 中可以直接讀取，確保了輸入不會被調包。用了 EIP4844 後，Blob 數據無法直接讀取，只能通過一個新的電路來證明這一點。

5. 用 STARK 的 ZK rollup( 如 Starknet) 更容易實現這種證明機制。而這對於用 SNARK 的 ZK rollup 是存在挑戰的，原因是：EIP4844 的 blob commitment 使用的橢圓曲線是 BLS12-381，而 ETH 的預編譯合約只支持了 BN254，由於曲線不同，導致我們難以直接在智能合約中驗證 blob commitment 完成證明。

6. 用 SNARK 的 zkEVM/zkVM 需要解決第 2 點中提到的由於曲線不匹配無法生成 ZK 證明的問題。

• 等待 Ethereum 支持 BLS12-381 的預編譯合約。這會很漫長。

• 採取另一種證明方式來證明。要設計新的電路，必須用預編譯合約所支持的 BN254 橢圓曲線。目前，我們看到 Morph 採用了這個方法。這也使得 Morph 成為第一個完成 EIP4844 適配的 zkEVM。

Morph 的 EIP-4844 zkEVM 集成解決方案請參見：文章鏈接

四、有哪些 L2 適配了 EIP4844？

Optimistic rollup 中，Optimism 和 Arbitrum 已表示致力於採用 EIP-4844，並與其社區密切合作來測試和部署必要的更新。Arbitrum 屬於 Stage 1 的 Rollup， 安全性相對較好。涉及到需要將欺詐證明適配 EIP4844 的問題。Optimistic rollup 屬於是 Stage 0 的 Rollup，目前還沒有欺詐證明，適配起來更容易，但安全性不夠高。

ZK rollup 中，使用 STRAK 和 SNARK 的 rollup 適配難度是不同的。用 STARK 的 rollup 適配 EIP4844 更簡單，Starknet 是其中的代表。Starknet 發表了文章表示坎昆升級後會實施對 EIP4844 的適配 。用 SNARK 的 rollup，zkSync 也在探索如何利用攜帶 blob 的交易來進一步降低成本並提高性能。Scroll 則是在去年發表了一篇文章介紹了適配 EIP4844 的思路。

最令人映像深刻的是 Morph, 他是一個 Optimistic ZK Rollup，率先發布了 zkEVM 適配 EIP4844 的方案，可以說是第一個完成 EIP4844 的 zkEVM Rollup。

Optimistic ZK Rollup 結合了兩類 Rollup 的優勢。它樂觀地相信 Sequencer 提交的執行結果，允許對結果產生懷疑的人發起挑戰。只有在發起挑戰時，證明者才會生成 ZKP 來證明執行結果的正確性。它擁有 Optimistic rollup 的效率，又擁有 ZK rollup 的 ZK 證明的可靠性。