一級標題
原文編譯:深潮TechFlow
一級標題
第二層解決方案

二級標題
Rollups
以太坊主網目前每秒處理平均12 筆交易,在網絡活動高峰期,交易成本已經達到了大多數用戶無法接受的水平。這個可擴展性問題源於網絡中的每個節點都需要存儲和驗證在網絡上發生的所有交易。
二級標題
Celestiums;
Enshrined Rollups;
Sovereign Rollups.
二級標題
Rollups 是L2 解決方案,在返回到L1 之前處理L1 的事務。以太坊上的標準交易通常為156 字節,其中籤名是數據密度最高的部分。因此,Rollups 在L2 執行環境中處理多個交易,然後將它們捆綁成一個交易,提交給L1 進行常規狀態驗證。將多個交易捆綁成一個交易可以減少每個交易支付的Gas 費,因為Gas 費分攤到多個交易上,而不僅僅是一個交易。然而,並非所有的Rollups 都是相同的,有許多不同類型的Rollups:
智能合約Rollups:Optimistic Rollups(Arbitrum、Optimism)、零知識Rollups(Matic 的zkEVM、zkSync、Scroll);
智能合約Rollups
智能合約Rollups 是用戶將資金發送到L1 上的Rollup 智能合約,然後該智能合約管理交易和狀態變化。
Optimistic Rollup
Rollups 和區塊鏈的一個關鍵組成部分是Merkle 樹。 Merkle 樹是存儲每個人的資金狀態和發生的交易的數據結構,允許L1 在不下載整個狀態的情況下驗證L2 上的狀態。簡單來說,用戶在L2 上進行交互和交易(從而改變狀態),L2 會定期向L1 發送狀態的Merkle 根,以便L1 可以驗證鏈的狀態。
除了將Merkle 根發佈到L1,L2 還必鬚髮布足夠的Merkle 樹變化數據,以便用戶能夠完全重建Merkle 樹。如果由於某種原因L2 停止運行,如果沒有提供這些數據,用戶將被困在L2 上。因此,L1 智能合約具有“緊急功能”,用戶可以在L2 停止運行時從智能合約Rollup 中提取他們的資金。
L1 需要某種證明來確保L2 發送的Merkle 根是有效的,這就是兩種主要的智能合約Rollup 之間的區別。使用的兩種主要證明是欺詐證明和零知識證明。
像Arbitrum 和Optimism 這樣的OptimisticRollup 使用欺詐證明來完成狀態的最終確認。欺詐證明的工作原理如下:
L2 節點將Merkle 根與一小筆保證金一起發佈到L1 智能合約中。
L1 智能合約默認信任L2 節點,這就是“Optimistic”一詞的含義—— L1 對L2 的更新持樂觀態度。
然而,這種狀態變化在7 天內不會最終確認。
ZK Rollup
在這7 天內,任何人都可以提交一個證明,證明提交的Merkle 根是欺詐性的,這將撤銷更新並懲罰L2 節點,將保證金交給報告欺詐性更新的人。
報告者能夠通過驗證狀態根變化中發生的所有交易,並確認這些交易上的每個簽名都是有效的來證明更新是欺詐性的。這是因為L2 節點發布了Merkle 根和足夠的Merkle 變化數據來重新創建Merkle 樹。
如果在7 天的爭議期內沒有對狀態轉換提出異議,更新將最終確認並被視為不可變的。
Layer 2 節點將Merkle 根與證明一起發佈到L1 智能合約中,證明L2 正確處理了交易並生成了一個新的Merkle 根。
排序器
如果Layer 2 節點試圖發布一個欺詐性的更新,它們將無法生成有效的零知識證明,因此L1 智能合約將不接受新的Merkle 根。
一旦驗證了零知識證明,狀態更新將立即完成。
排序器
排序器是L2 收集並將交易發布回以太坊基礎鏈的機制。在它們目前的中心化狀態下,它們的工作方式如下:
用戶在L2 上提交交易—— DeFi、NFT、發送/接收等等。
這些交易由中心化的排序器收集。
然後,排序器將這批交易提交回以太坊主網,以便包含在一個區塊中。
一級標題
在當前狀態下,Rollup 的排序器是中心化的,並由一個實體(Arbitrum 的Offchain Labs 和Optimism 的Optimism PBC)控制。這種中心化為Rollup 創建了單點故障,並可能導致活躍性問題(以及缺乏審查抵抗力)——如果排序器出現故障,L2 將無法正常運行。
一級標題
一級標題
在Arbitrum 和Optimism 上,用戶進行交易時需要支付兩項費用:
二級標題
二級標題
二級標題
L1 調用數據/安全費用
一級標題
排序器收入模型
一級標題
二級標題
二級標題
二級標題
Fees = L1_gas_price_estimate * (L1_calldata_size + L1_buffer) + L2_gas_price * L2_gas_used
一級標題
Costs = L1_actual_gas_price * L1_calldata_size + Sequencer_operational_costs
二級標題
一級標題
在所有ORU 中,L2 費用價格是L1 計算規模、L1 計算成本、L2 計算規模和L2 計算成本的函數。
二級標題
Arbitrum
由於所有L2 排序器在將批次/證明發佈到L1 主網時都會產生成本,因此當執行L2 交易時,將主網結算的動態成本傳遞給用戶是合乎邏輯的。
二級標題
從中我們可以得出以下結論:
二級標題
Optimism
二級標題
注意:
二級標題
dynamic_overhead 變量是由Optimism 團隊設置的變量,以確保他們的排序器在將交易批次提交回L1 網絡時能夠得到足夠的補償,以支付產生的Gas 成本。
二級標題

目前它被設置為0.684 ,這表示排序器正在補貼Gas 成本。
EIP-4844
二級標題
二級標題
數據是使用calldata 操作碼發佈到以太坊的Layer-1 ,因此Arbitrum 和Optimism 都實施了calldata 壓縮算法,如Zlib 和brotli 壓縮算法。這種數據發布成本很高,並且佔據了L2 用戶支付的交易費用的80-90% 。
二級標題
然而,在2023 年10 月至2024 年2 月之間,備受矚目的以太坊改進提案(EIP-4844 ,Proto-danksharding)計劃推出。 EIP-4844 提議向以太坊添加一種新的交易類型,允許接受“數據塊”。這些“數據塊”在大約兩週後被刪除或修剪,而不像現有calldata 一樣永久存儲。這些數據塊的大小設計得足夠小,以減少主網鏈上的存儲開銷。
對排序器收入的影響的高級概述
二級標題
Arbitrum
在深入討論我們預計在Arbitrum 和Optimism 中看到的變化之前,重要的是我們考慮到Arbitrum 和Optimism 在L1 計算定價方面的差異(如前面的L2 費用定價部分所解釋的)。鑑於Arbitrum 的L1 定價預言機,我們現在知道它很可能將100% 的費用傳遞給用戶(除非我們看到治理投票)。對於Optimism 來說情況並非如此,因為他們仍然控制著動態開銷變量。
二級標題
二級標題
考慮到上面部分中Arbitrum 財務狀況的現狀,我們探討了在某些假設下Arbitrum 估值的可能變化。由於預計EIP-4844 後成本將顯著降低,人們預期在收入保持不變的情況下,利潤和利潤率將增加。
基於此,我們建立了一個表格,顯示了各種可能的結果,其中包括EIP-4844 節省傳遞給用戶的不同組合(Y 軸)和EIP-4844 成本降低因素(X 軸,數字越大= EIP 4844節省的費用越高)。
我們用陰影標記了我們認為在EIP-4844 後最有可能出現的組合。
如果將100% 的節省傳遞給用戶,我們可以假設這種成本節約可能會增加Arbitrum 上的交易數量(新的dApp 類型,更多的用戶)。
二級標題
二級標題
Optimism
二級標題
目前,Arbitrum 和Optimism 的唯一價值積累是治理;這是ARB 和OP 的唯一功能。然而,ARB 和OP 的價值積累可能來自另外兩個來源:交易費用和MEV。
目前,Arbitrum 和Optimism 的唯一價值積累是治理;這是ARB 和OP 的唯一功能。然而,ARB 和OP 的價值積累可能來自另外兩個來源:交易費用和MEV。
二級標題
目前,Arbitrum 和Optimism 的唯一價值積累是治理;這是ARB 和OP 的唯一功能。然而,ARB 和OP 的價值積累可能來自另外兩個來源:交易費用和MEV。
目前,Arbitrum 和Optimism 的唯一價值積累是治理;這是ARB 和OP 的唯一功能。然而,ARB 和OP 的價值積累可能來自另外兩個來源:交易費用和MEV。


