爲什么EIP-4844對Rollup很重要及它在ZK-EVM如何運作

2023-09-19 09:09 金色財經


作者:Taiko Labs;翻譯:金色財經0xjs

太長不讀版:

EIP-4844有兩個核心變化:

● 增加了一個以太坊區塊中可發布的數據量,從而提高了Rollup的吞吐量。

● 引入了一種新的交易類型,稱爲“blob transaction”(數據塊交易),並設置了一個單獨的費用市場,以確保數據交易不與常規交易競爭。

這兩個變化將降低Rollup的數據發布成本。然而,今天很難確定成本降低會有多大,因爲這將取決於網絡擁堵的市場情況。

本文簡要介紹EIP-4844以及它將如何影響Rollup。Danksharding的歷史、數學細節和機制選擇相關的詳細信息,請參考Dom的文章或Proto-Danksharding FAQ。

內容

前言:快速回顧

數據可用性(DA)

Proto-Danksharding:EIP-4844

前言:快速回顧

擴展以太坊的想法是在不增加構成網絡的節點負擔的情況下獲得更多的區塊空間。經過多次辯論,選擇的解決方案是以太坊(Layer 1)將擴展數據,而Rollup(Layer 2)將可擴展的數據轉化爲可擴展的執行。

在以Rollup爲中心的路线圖之前,以太坊探索了分片作爲擴展解決方案。分片是一種水平擴展方法,其中每個分片都是Beacon Chain上並行運行的迷你區塊鏈。然而,當Rollup出現時,人們認爲它們比分片更高效和靈活,可以用於擴展以太坊。純分片被拋棄了。

取而代之的是,Dankrad Feist提出了danksharding,它允許驗證者執行極少量的工作來檢查數據是否可用,使用數據可用性採樣(Data Availability Sampling,DAS)(無需像今天一樣下載所有數據)。它解決了Rollup排序器潛在地保留數據的問題:就像節點不會跟隨包含無效交易的分叉一樣,節點也不會跟隨數據不可用的分叉,即使有99%的驗證者惡意地試圖保留數據。

由於danksharding仍然相當復雜,proto-danksharding提出了一個中間步驟,引入了Rollup排序器將使用的blob-carrying交易類型,但暫時沒有數據可用性檢查(DAS)。Proto-danksharding被整合到EIP-4844中,預計將在2023年第四季度生效。

數據可用性(DA)

Rollup將每個區塊的數據發布到L1。這些數據應該對每個人都是可用的。

數據可用性意味着沒有網絡參與者,包括合謀的絕大多數全節點,有能力阻止數據的可用性。

當數據可用時,任何人都可以從發布的數據中推導出鏈狀態,並檢查推導出的狀態是否與Rollup提供的狀態相匹配。

DA問題是以太坊的主要擴展瓶頸。現在,它是通過CALLDATA來完成的,這相當昂貴。一些估算是,將數據發布到L1大致構成Rollup運營成本的80%左右。

Proto-Danksharding:EIP-4844

數據塊和攜帶數據塊的交易

EIP-4844將CALLDATA替換爲一個新的“Blob層”,以提高Rollup的吞吐量並降低發布數據的成本。有了EIP-4844,數據以“數據塊”形式發布,同時引入了一種新的交易類型,稱爲“攜帶數據塊的交易”,Rollup排序器將使用該交易類型。

使用這種新的交易類型,blob數據存儲在Beacon Chain上。也就是說,EVM無法直接訪問此數據。L2節點可以在2周內從Beacon客戶端檢索數據(如果需要,可以在智能合約中使用它),然後從該數據派生出L2鏈。要檢索數據,需要向以太坊節點發送請求。然後,他們在交易中使用該數據(使用CALLDATA),並驗證該數據是否與數據塊中的數據匹配(數據塊哈希直接在EVM中可用)。

關於EIP-4844,我們應該考慮的新事物是什么?

新的預編譯:點評估預編譯(point evaluation pre-compile)

對於ZK證明,將添加一個新的預編譯:點評估預編譯。它使用EVM中提供的數據承諾(作爲“真實來源”)、數據塊上的一個點、其預期值和證明。操作碼會檢查此數據塊點是否與預期值匹配。也就是說,已承諾的區塊數據等於Rollup正在導入的數據。

新類型的Gas:數據Gas(data gas)

將引入一種新的Gas類型來定價數據塊數據:數據Gas。它的工作原理與EIP-1559機制類似,但有一些變化:

● basefee是從excess_data_gas中派生的,類似於EIP-1559機制。

● max_fee_per_blob_gas是發送者愿意爲數據塊支付多少費用的競標價。

● blob_version_hashes是數據塊的哈希列表(因爲單個交易可以帶有多個數據塊)。

由於引入了新的交易類型和單獨的費用市場,數據塊交易不會與常規L1交易競爭。也就是說,數據塊交易的定價不依賴於常規交易的L1網絡費用。

節點要求

節點需要爲請求的數據塊數據提供4,096個epoch大約爲18天的服務。在此期限之後,節點可以從硬盤上刪除數據並停止提供服務。

讓數據塊過期將限制額外的存儲需求。今天,每個區塊提供約1KB的數據存儲空間。在EIP-4844之後,將會提供約384KB的存儲空間,目標是每個區塊3個數據塊。如果它在新的數據塊到來時刪除舊的數據塊(根據max_amount_of_blobs/block * num_blocks_in_4096_epochs計算),這將導致節點額外需要大約50GB的數據存儲空間。

一旦數據塊過期,數據仍然可以通過一些超出協議的方式檢索(例如TheGraph、區塊瀏覽器、節點提供者等)。

其他細節

與Merkle Proofs相比,使用KZG承諾更具簡潔性和廉價性,因爲它們比重新計算哈希承諾更便宜。

EIP-4844需要進行以太坊共識升級。然而,對於進一步的danksharding升級,只需要Beacon Chain的升級。

鄭重聲明:本文版權歸原作者所有,轉載文章僅為傳播信息之目的,不構成任何投資建議,如有侵權行為,請第一時間聯絡我們修改或刪除,多謝。

標題:爲什么EIP-4844對Rollup很重要及它在ZK-EVM如何運作

地址:https://www.sgitmedia.com/article/10802.html

相關閱讀: