0x财经| 詳解EIP-4844:如何將L2交易成本降低10倍

文/francesco,加密研究員;譯/金色財經xiaozou

設想一下Arbitrum、Optimism和各L2上的交易成本將降低10倍。怎麼做到的?答案就是EIP-4844。下面是關於EIP-4844的綜合指南。

什麼是EIP-4844?

EIP-4844是以太坊分片設計的首次迭代。分片是以太坊讓更多數據通過網絡的一種方式。以太坊已在2016年將分片作為可擴展解決方案之一。隨著時間的推移,分片已經從完全執行分片轉變為只進行數據分片,V神將其描述為“增強的實用主義”。

事實上,以太坊網絡上的數據可用性問題是主要的擴展瓶頸之一。數據可用性可以定義為“證明特定哈希值背後的底層數據實際上已經發佈到公共賬本上,人們可以自由獲取此數據並進行驗證”。 EIP-4844試圖在不破壞L1上的可組合性和執行層的情況下增加以太坊上的數據可用性容量。

選擇EIP-4844的原因:為L2解決方案創建一個低成本場所,以便在以太坊上發布數據,並大大減少用戶在L2上支付的總交易費用。

問題:L2產生的數據越來越多。如果有一種方法可以以一種低成本方式發布這些信息,將立即降低網絡向用戶收取的交易費用。

解決方案:引入“blob-carrying transactions”(攜帶blob的交易)新交易類型,包含了大量“無法通過EVM執行訪問、但卻可以訪問其承諾”的數據。

並非將全部內容嵌入到主體中,而是將blob的內容作為“sidecar”單獨傳播。這可能是用戶最感興趣的EIP之一了,因為用戶將在他們最喜歡使用的L2上支付更少的費用而直接受益。這是以太坊上更簡單的分片實現,也是以太坊“以rollup為中心的路線圖”向前邁出的又一步。

EIP-4844引入了:

· 一種新的交易類型,具有“完全分片”所需的完全相同的格式。

· 完全分片所需的所有執行層邏輯。

· 完全分片所需的所有執行/共識交叉驗證邏輯。

· BeaconBlock驗證和數據可用性採樣blob之間的層分離。

· 完全分片所需的大部分BeaconBlock邏輯。

· 一種可自我調節的針對blob的獨立gas價格。

分片區塊將不會包含在以太坊區塊中執行的交易,而只包含“數據blob”,L2將負責該數據空間的使用,以便為其用戶創建安全的可擴展性更高的體驗。

Blob是什麼?

一個附加在交易上的不透明的原始字符串,它會進入以太坊系統。附加在“sidecar”中的內容有額外的生命週期:blob交易支付費用,並承諾充分證明某些數據是存在的——但數據本身是分離的。

費用支付和引用由以太坊處理,而承諾和blob在被prune(修剪)之前存儲在其他地方:以太坊EVM中沒有直接的blob內容,它們保存在信標節點中,而不是在執行層中。

rFLg2YGh2aBAwGrZNQ7aDGKSnSiGJsmZkhCtIQnJ.png

•以太坊:不可擴展計算,可擴展數據(執行引擎);

•L2:將不可擴展數據和不可擴展計算轉換為可擴展計算(數據可用性+執行檢查)。

這種設計選擇充滿策略性,以確保未來的分片工作只需要更改信標節點,從而使執行層能夠並行處理其他活動。

kR52a0I6CYkb0nq3l4tOX6LLBHawDPD7L3YJVSPA.png

該EIP中涉及的信標節點更新內容如下:

· 信標鏈:處理更新的信標區塊並確保blob的可用性。

· P2P網絡:廣播並同步更新的信標區塊類型和新的blob sidecar。

· 誠實的驗證者:生成帶有blob的信標區塊,發布blob sidecar。

為什麼L2費用會降低?

交易計算和存儲的費用是分開的:L2將使用不同的功能向以太坊提交“blob”。不使用永遠存儲數據的“CALLDATA”,而是使用blob,blob將在預定義時間段後被修剪。 blob數據不需要永遠可用,但需要一段時間(例如1-3個月)內可用,要有足夠的時間允許L2確保至少有一個誠實的參與者重構狀態並挑戰或替代不良測序器。然後數據被修剪。

EIP-4844通過允許rollup初始擴展至每個slot 0.25 MB,為blob提供一個單獨的費用極低的收費市場,從而大大減輕了rollup的擴展負擔。所以,交易成本將更低,低一個數量級。

L2將如何使用Blob?

將數據存入blob中可以保證數據的可用性,同時成本更低。 L2使用KZG來驗證blob的有效性。

那麼,什麼是KZG? KZG“表示該點的特定值等於聲明值”。

•當提交欺詐證明時,Optimistic Rollup會提供底層數據。欺詐證明可以驗證有效性,“通過調用數據一次最多加載blob的若干值”。對於每個值,它將提供一個KZG證明,並使用點計算預編譯來根據之前提交的哈希版本驗證該值。

•ZK rollup需要提供2個承諾:blob中的KZG以及使用ZK證明系統的某個承諾。然後它們需要證明:KZG(協議確保指向可用數據)和ZK rollup自己的承諾引用的是相同的數據。

一點思考

我其實並不確定我有沒有很好地解釋了EIP-4844背後的複雜性。這涉及以太坊的若干技術層面,如果不是不斷引用和解釋新概念,就很難將它們全部包含在EIP-4844的解釋中。 EIP-4844的重要之處在於,它的價值將滲透到用戶身上,因為我們都將能夠從較低的L2費用中受益。

該提案誕生的理由與以太坊以rollup為中心的路線圖一致,進一步提高了L2的可擴展性,同時與未來的分片兼容。未來EVM執行分片的大門仍然是敞開的,但這實際上只是第一步。

EIP-4844預計將在今年下半年實現。

Total
0
Shares
Related Posts