前不久,以太坊創始人VitalikETH上海峰會上表示,以太坊合并或將在8月開始,合并后的第一項重大事情是EIP-4844即proto-danksharding,而proto-danksharding只是Danksharding的第一步。

在近期的Bankless播客中,合并協調人Tim Beiko和Vitalik Buterin、以太坊研究員Dankrad Feist和Protolambda就proto-danksharding和Danksharding主題進行了深入對話。

以下為對話的主要內容。

什么是Danksharding

  • Danksharding和proto-danksharding是對以太坊分片設計的迭代

  • 分片是以太坊網絡處理更多數據的一種方式?!八羞@些分片方法都有相同的最終目標,即為第二層解決方案創建一個便宜的地方,以便在以太坊上發布數據?!盩im Beiko

  • EIP-4844是proto-danksharding

  • Proto-danksharding是邁向分片的第一步

  • Danksharding是對之前路線圖的簡化

從完全執行分片轉變為僅數據分片

  • 自2016年發布以來,分片路線圖一直在不斷簡化

  • 第一步是決定不打擾二次方分片以外的任何事情

  • 第二步是讓每個分片塊直接包含在信標鏈中

  • 分片區塊不再是包含將在以太坊層執行的交易,而是轉變為分片區塊只包含大塊數據

  • 2層rollup協議將負責使用該數據空間為其用戶創建安全且可擴展的體驗

  • 接下來是Danksharding,只有一個提議者選擇所有分片區塊和出現在特定信標塊中的分片

  • 目前在時間線的一半進行完全分片

為什么可以在不犧牲鏈的去中心化的情況下實現Danksharding?

  • Proof-of-Stake具有提議者-建造者分離

  • 傳統上,區塊提議者構建區塊

  • 提議簡單且便宜,而構建是一個復雜的過程

  • 構建更適合資本化的實體——擁有可以處理大量數據的大型機器的人

  • 任何人都可以驗證區塊是否正確

EIP-4844如何幫助2層?

  • Danksharding引入了數據可用性抽樣。它試圖通過網絡更好地分配作業

  • 他們可以針對L2所需的安全屬性進行優化

  • 它如何幫助2層:發布數據并確保保護L2的誠實少數能夠首先獲得數據;確保參與者即使在停機、審查、不可預見等情況下也能夠獲取數據。

什么是數據可用性以及它與存儲在以太坊上的數據有何不同

  • 數據可用性:數據是否經過發布過程,在公共網絡上廣播,任何想要下載數據的人都有時間這樣做?

  • 當將以太坊與IPFS進行比較時,以太坊能夠就數據可用性提供共識

  • 2層協議取決于那里可用的數據

  • ZK Rollup示例:定序器(Sequencer)接受交易 —> sequencer發布包含state-delta的區塊;定序器管理內部狀態。

  • ZK Rollup和Validium的區別:

  • 在ZK Rollup中,state-delta是鏈上的

  • 在Validium中,只有證明是鏈上的。其他一切都是鏈下的

  • 唯一的區別是當定序器消失時會發生什么。在Validium中,這是一個問題,因為如果定序器消失,資金就會永遠卡在那里

  • 信標鏈只會包含數據的哈希值

  • 分片不需要永遠存儲數據。關鍵是要給想要下載數據的人足夠的時間去下載

數據可用性抽樣如何工作?

  • 我們需要一種可擴展的方式來確保當人們想要下載一些數據時可以下載它

  • 數據可用性抽樣涉及選擇數據的隨機部分并嘗試訪問它們

  • 如果你可以訪問大部分數據,那就是你認為數據可用

  • 如果有50%的數據可用,Reed-Solomon編碼使你能夠重建整個數據集

  • 這支持擴展,因為它不需要100%的數據可用

  • 攻擊者必須將數據可用性降低到50%以上才能攻擊網絡

  • 每下載10%的數據就可以將攻擊減少10倍。這是一種確保數據可用性的可擴展方式

EIP-4844世界

  • 繼續擴展共識層

  • 部分數據將被保留。之后,它們將被修剪

  • 數據將在足夠長的時間內可用,以保護網絡

  • proto-danksharding中可用的數據量少于完整danksharding中可用的數據量

存儲數據的成本降低了多少?

  • 目前,以太坊區塊大小在50-100 kbs之間

  • 可以從每塊50 kbs增長到mb

  • rollup將受益于降低的成本

  • 在full danksharding中,會增加一個數量級

為執行計算付出很多的人與為存儲數據付出很多的人之間的區別

  • 添加了額外的費用參數以創建不同的市場

  • Vitalik寫了一篇關于Multidimensional EIP-1559的文章

KZG承諾

  • 當數據被采樣時,無法判斷編碼是否正確

  • KZG承諾是一種散列多項式函數并保證編碼正確的方法

什么是可信設置?

  • 必須設置有一定關系的橢圓曲線點。這是KZG承諾方案的基本輸入之一

  • 不允許任何人知道他們之間的實際關系

  • 在受信任的設置中,即使只有一個人正確完成并且其他所有人都串通了,那么該設置是完全安全的

EIP-4844何時部署?

  • 今年早些時候,他們為此寫了一份提案

  • 在ETHDenver黑客松中,他們實現了它并一直在測試它

  • 兩個不同的分支:進一步開發客戶端軟件并創建測試網;可信設置的發展

  • 完成后,他們會將其包含為EIP

  • Proto-danksharding是全面實施的墊腳石

  • 試圖在上海硬分叉中完成它

如果人們想從研究/工程的角度做出貢獻,分片中有哪些未解決的問題?

  • 弄清楚數據可用性抽樣的網絡

  • 如果有更多具有網絡專業知識的人會很好

  • 經濟挑戰:如何制定一個好的提議者-建造者分離協議?如何增加審查阻力來繞過審查建設者?

  • 從長遠來看,更好的權益證明設計會是什么樣子?

  • 切換到2層以及增加2層去中心化的方法