深入探討Rollup資料可用策略的經濟學EIP-4844


EIP-4844經濟學系列的討論著重於新增的Blob承載交易對網路帶來的影響。透過研究Blob交易的機制費用,包括費用計算方式、Blob交易的種類和Blob Base Fee的更新演算法等內容,來探討如何影響Rollup的資料可用策略。文章中提出了模型假設的分析,包括資料延遲成本和Gas消耗的假設,以及Blob的均衡價格、拼單策略和成本分攤等方面的討論。作者指出,對於Rollup網絡,如何合理利用Blob來降低資料可用性的成本是至關重要的。

作者:Jason,ETHconomics 研究空間

非常感謝Colin@colinlyguo 參與論文的討論並提供的意見,以及Qi Zhou@qc_qizhou 對論文的回饋。

寫在前面

在EIP-4844 經濟學系列中,我們將分成四部分來講述新增的Blob 承載交易會對網路造成的虛擬影響。在上一篇中,作者研究了Blob 交易的機制費用文章,包括Blob 交易的費用計算方式,Blob交易的種族以及Blob Base Fee的更新演算法等內容。在本篇文章中,作者基於EIP-4844經濟學和Rollup Strategies的分析框架進一步挖礦EIP-4844新引入的Blob市場會如何影響其主要需求方Rollup的數據可用策略。

EIP-4844 經濟學系列:

EIP-4844 經濟學#1:深入EIP-4844 費用機制EIP-4844 經濟學#2:深入匯總資料可用策略(論文) EIP-4844 經濟學#3:深入多維資源定價EIP-4844 經濟學#4:深入第3 類備用交易策略

Rollup 資料可用策略

EIP-4844 引進了Blob 資料空間作為更佳的資料可用方案。似乎對於Rollup 而言,只需要技術性地升級其密碼學承諾演算法以支援Blob 即可。然而,除了技術簡單的升級之外,Rollup 更需要研究如何利用Blob來降低其可用性資料的成本。換而言之,Rollup需要根據各自的成本曲線以及需求曲線來制定其可用性資料的策略。

模型假設分析

建模分析的有效性取決於模型假設。模型假設肯定是無法完全貼近現實的,需要做得到抓小放大,關鍵假設假設的合理性以及對分析的影響。因此,在進行模型推導前,我們先來分析文章依賴一些關鍵假設。

假設1:引入隱性的延遲成本

在建模過程中,除了資料可用方法消耗的手續費之外,本文還引入了隱性的資料延遲成本。數據延遲可能對大多數人來說不太直觀。舉一個極端的例子,例如匯總的TPS 是每天1 筆交易,等待這些交易塞滿一個Blob 才提交至L1 似乎不是一個優秀的策略。

資料延遲成本的消失來自於其主要關聯於使用者體驗,某些中心化應用的安全模型,以及某些去中心化應用的活性。

L2 的優勢高於其交易能夠得到L1 的確認。雖然序列器能夠快速返回L2 交易處理結果,但如果L2 交易未得到L1 的確認,中心化的序列器實際上比Polygon 等L1 安全性更因此,L2 的目標用戶應關注L2 交易的可用性數據被提交至L1 事件以判斷交易的狀態,並依賴該狀態進行後續操作。因此,資料延遲增大,使用者需要等待時間越長,使用者體驗越差以跨L2應用為例,此類應用程式的最終安全性都依賴於被提交至L1的L2可用性資料。因此,此類應用程式的一些關鍵功能需要等待相應的L2交易的可用性資料上傳後才能實現。對於zkrollup而言,L2交易的可用性資料以及有效性證明被提交至L1時L2交易立即得到L1確認。然而,對於optimistic rollup而言,L2交易的可用性資料提交至L1後仍需等待一段挑戰期(如7 天)。在這種情況下,似乎L2 交易的可用性資料的及時提交沒那麼重要。實際上並不然,因為有些應用(如Maker Bridge)會直接執行驗證提交至L1 的L2 的可用性數據,耗盡等待挑戰期。假設2:資料延遲成本與交易等待時間長成正比

本文假設資料延遲成本與交易等待時間長成正比(線性函數)。現實中,延遲成本應該更適合用非線形的函數來刻畫。例如,

指數函數(延遲成本隨時間指數上漲) 分段函數(超過某個門檻才引入延遲成本)

相對於上面更精細的刻畫,線形函數具有以下優勢:

導數為平均值,方便建模推導連續可導,建模過程中的導數破壞

同時,線形函數整體上也刻畫了交易等待時長增大,資料延遲成本損失的關鍵特徵,滿足建模的需求。不同的線性比例也能激發非線形函數。

假設3:智能合約處理可用性資料的Gas消耗為普遍

本文中Blob 的可用策略和Calldata 和Blob 間的可用策略中假設智能合約處理可用性資料的Gas 消耗為最大值,與交易批次中的交易量相關。

在實際場景中,處理可用性資料的Gas 消耗可能是與交易量成線性關係的。例如,交易批次中全是L2 → L1 的操作,那麼智能合約可能需要逐一處理這些操作,處理可用性資料的燃氣消耗呈線性關係的。

若對處理可用性資料的Gas 消耗感興趣,可以以Scroll 為例進行分析:https://github.com/scroll-tech/scroll/pull/659。重點是,EIP-4844 之後,計算交易見證的keccak256 消耗的gas可以省去。

根據統計資料可以發現,各層2處理可用性資料的方式其實不太一樣。下面挑選典型例子來說明:

1. 樂觀中處理可用性資料消耗的Gas 基本上與交易批次的大小相關,十分符合本文的假設。

cr:@donnoh_eth

2. Arbitrum中處理可用性資料消耗的Gas基本上與交易批次的大小呈正相關,似乎不太符合本文的假設。固定的部分達到175000 Gas,可變部分最大達到90000 Gas比例,約51.4%。就品種程度而言,該假設仍是合理的。

EIP-4844經濟學:深入探討Rollup的資料可用策略

cr:@donnoh_eth

假設4:智能合約處理可用性資料的Gas可以忽略不計

本文在Blob 均衡價格中,Blob 拼單策略以及Blob 成本分攤的推導中假設智慧合約處理可用性資料的Gas 消耗可忽略不計,即遠低於上傳可用性資料的成本。

在EIP-4844 中,根據統計數據,該假設之前很明顯已經成立了:

EIP-4844經濟學:深入探討Rollup的資料可用策略          cr:@donnoh_eth
EIP-4844經濟學:深入探討Rollup的資料可用策略          cr:@donnoh_eth

然而,EIP-4844上線前期,Blob的費用看起來忽略不計可以不計,還算樂觀的一批交易。這個時期Blob的供給遠超過需求,數據Gas價格為1wei。

EIP-4844經濟學:深入探討Rollup的資料可用策略          cr:beaconcha.in

雖然不符合當前情況,但是在討論上述三個主題時進行假設還是有意義的

Blob 均衡價格討論Blob 在未來達到均衡需求時的場景Blob 拼單策略以及Blob 成本分攤探討或者Blob 成本過高而需要拼單的場景

💡目前(2024.3.31)的Blob 已經確定了目標,更接近建模假設:

EIP-4844經濟學:深入探討Rollup的資料可用策略

cr:@0xRob

假設5:Gas價格與資料Gas價格為靜態均衡值

本文在推導的過程中假設Gas 價格以及Data Gas 價格為靜態均衡值。實際上,均衡值會受到供需範式遷移的影響,也是動態的。但是,供需範式遷移(非隨機波動)發生的頻率較低。在這中間,均衡值可以考慮為靜態值,不會影響在這中間實作的策略。不過,允許需要範式轉移轉移後,只要更新一下新的狀態均衡值即可。

Blob 的可用策略

在EIP-4844中,Blob採用的是Container的收費模型。因此,對於Rollup而言,需要權衡:

當Blob 完全利用時,上傳可用性資料均攤成本是最低的

當Blob 完全利用時,資料延遲成本是最高的(等待最長時間才能提交至底層網路)

Blob 資料可用方案成本

EIP-4844經濟學:深入探討Rollup的資料可用策略

EIP-4844經濟學:深入探討Rollup的資料可用策略

Calldata 和Blob 間的可用策略

Blob作為一種資料可用方案,並非完全依賴Calldata:

利用Calldata上傳可用性資料的均攤成本是不變的,消耗如Blob般資料等待達到某種量級以降低成本,因此可以實現快速發布,從而產生了初始的資料延遲成本。可以預想,這麼少量交易量的Rollup 會比較傾向使用Calldata。這些Rollup 需要很大的資料延遲成本才能把Blob 填滿完成。 Calldata 資料可用方案成本

EIP-4844經濟學:深入探討Rollup的資料可用策略

EIP-4844經濟學:深入探討Rollup的資料可用策略

EIP-4844經濟學:深入探討Rollup的資料可用策略

然而,Vitalik 基於技術的角度更傾向於限制Calldata 的使用,讓Rollup 都使用Blob:

對Rollup 而言,維護兩套機製成本太高。 Calldata本身並不是為資料可用而設計的。

關於提高Calldata作為資料可用性方案成本的EIP-7623(草案)也被提出。基本想法很簡單:

若交易Gas 消耗中Calldata 的參與>~ 76%,Calldata 的成本為68 Gas/byte 若交易Gas 消耗量中Calldata 的參與

該EIP隱含一個假設,若Calldata的那麼佔比>~76%,該交易就被認定其資料可用。該值是透過歷史統計權衡出來的:

觀察資料可用交易的Calldata的參與,帳戶命中觀察非資料可用交易的通話資料的數量,注意不要誤傷

Blob 均衡價格

EIP-4844經濟學:深入探討Rollup的資料可用策略

EIP-4844經濟學:深入探討Rollup的資料可用策略

Blob 拼單策略

Blob 的聯合發布似乎解決了Blob 資料延遲成本過高的問題,類比現實世界的容器也不僅限於裝一批貨物。

本章節評估以下三個場景下,拼單策略導致Blob均衡價格的變化,並分析拼單策略是否相對單獨發佈為更優策略。

Rollup i 和Rollup j 都採用Blob 作為資料可用方案Rollup i採用Blob作為資料可用方案,而Rolup j採用Calldata作為資料可用方案Rollup i 和Rollup j 都採用Calldata 作為資料可用方案

EIP-4844經濟學:深入探討Rollup的資料可用策略

場景1:Rollup i 和Rollup j 都採用Blob 作為資料可用方案

場景1 中Blob 的均衡價格會降低,最多降低一半

EIP-4844經濟學:深入探討Rollup的資料可用策略

EIP-4844經濟學:深入探討Rollup的資料可用策略

場景1 中拼單策略相對單獨發佈為更優策略

EIP-4844經濟學:深入探討Rollup的資料可用策略

EIP-4844經濟學:深入探討Rollup的資料可用策略

場景2:Rollup i採用Blob作為資料可用方案,而Rolup j則採用Calldata作為資料可用方案

場景2中Blob的均衡價格會上漲,最多為原來的2倍

EIP-4844經濟學:深入探討Rollup的資料可用策略

場景2中拼單策略相對單獨發布不一定是更優策略

EIP-4844經濟學:深入探討Rollup的資料可用策略

EIP-4844經濟學:深入探討Rollup的資料可用策略

場景3:Rollup i 和Rollup j 都採用Calldata 作為資料可用方案

EIP-4844經濟學:深入探討Rollup的資料可用策略

場景3中拼單策略相對單獨發布不一定是更優策略

EIP-4844經濟學:深入探討Rollup的資料可用策略

EIP-4844經濟學:深入探討Rollup的資料可用策略

Blob 成本分攤

EIP-4844經濟學:深入探討Rollup的資料可用策略

EIP-4844經濟學:深入探討Rollup的資料可用策略

性質1:必然存在最佳成本均攤方案

EIP-4844經濟學:深入探討Rollup的資料可用策略

性質2:大型Rollup 需要支付低於其交易比例的Blob 費用

EIP-4844經濟學:深入探討Rollup的資料可用策略

性質3:大型Rollup 需要支付超過一半的Blob 費用

EIP-4844經濟學:深入探討Rollup的資料可用策略

性質4:小型Rollup單筆交易成本優化效果較佳

EIP-4844經濟學:深入探討Rollup的資料可用策略

EIP-4844經濟學:深入探討Rollup的資料可用策略

後記

EIP-4844下Rollup資料策略的可用讓我們辯證地認識到新的舊技術,眾多不同的技術都有其適用的範圍,我們需要劃清各個技術的有效使用邊界,從而讓我們更高的效率地利用技術。延遲成本基本上主導了這篇文章的推導,而這塊在平時的討論中都隱藏在水下。

後續許多開放的研究空間,例如限制Calldata的EIP敲定後,Rollup資料可用策略會發生什麼變化。歡迎加入ETHconomics研究空間一起討論研究。

相關資料

EIP 4844:這對L2 使用者意味著什麼?

https://medium.com/offchainlabs/eip-4844-what-does-it-mean-for-l2-users-5e86ebc4c028

EIP-4844 經濟學與總結策略

https://arxiv.org/abs/2310.01155

EIP-4844 經濟學#1:深入EIP-4844 費用機制

資訊來源:0x資訊編譯自網際網路。版權歸作者ETHconomics Research Space所有,未經許可,不得轉載

Total
0
Shares
Related Posts