前不久，以太坊創(chuàng)始人Vitalik在ETH上海峰會(huì)上表示，以太坊合并或?qū)⒃?月開始，合并后的第一項(xiàng)重大事情是EIP-4844即proto-danksharding，而proto-danksharding只是Danksharding的第一步。

在近期的Bankless播客中，合并協(xié)調(diào)人Tim Beiko和Vitalik Buterin、以太坊研究員Dankrad Feist和Protolambda就proto-danksharding和Danksharding主題進(jìn)行了深入對(duì)話。

以下為對(duì)話的主要內(nèi)容。

什么是Danksharding

• Danksharding和proto-danksharding是對(duì)以太坊分片設(shè)計(jì)的迭代

• 分片是以太坊網(wǎng)絡(luò)處理更多數(shù)據(jù)的一種方式?！八羞@些分片方法都有相同的最終目標(biāo)，即為第二層解決方案創(chuàng)建一個(gè)便宜的地方，以便在以太坊上發(fā)布數(shù)據(jù)?！盩im Beiko

• EIP-4844是proto-danksharding

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

• Danksharding是對(duì)之前路線圖的簡(jiǎn)化

從完全執(zhí)行分片轉(zhuǎn)變?yōu)閮H數(shù)據(jù)分片

• 自2016年發(fā)布以來，分片路線圖一直在不斷簡(jiǎn)化

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

• 第二步是讓每個(gè)分片塊直接包含在信標(biāo)鏈中

• 分片區(qū)塊不再是包含將在以太坊層執(zhí)行的交易，而是轉(zhuǎn)變?yōu)榉制瑓^(qū)塊只包含大塊數(shù)據(jù)

• 2層rollup協(xié)議將負(fù)責(zé)使用該數(shù)據(jù)空間為其用戶創(chuàng)建安全且可擴(kuò)展的體驗(yàn)

• 接下來是Danksharding，只有一個(gè)提議者選擇所有分片區(qū)塊和出現(xiàn)在特定信標(biāo)塊中的分片

• 目前在時(shí)間線的一半進(jìn)行完全分片

為什么可以在不犧牲鏈的去中心化的情況下實(shí)現(xiàn)Danksharding？

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

• 傳統(tǒng)上，區(qū)塊提議者構(gòu)建區(qū)塊

• 提議簡(jiǎn)單且便宜，而構(gòu)建是一個(gè)復(fù)雜的過程

• 構(gòu)建更適合資本化的實(shí)體——擁有可以處理大量數(shù)據(jù)的大型機(jī)器的人

• 任何人都可以驗(yàn)證區(qū)塊是否正確

EIP-4844如何幫助2層？

• Danksharding引入了數(shù)據(jù)可用性抽樣。它試圖通過網(wǎng)絡(luò)更好地分配作業(yè)

• 他們可以針對(duì)L2所需的安全屬性進(jìn)行優(yōu)化

• 它如何幫助2層：發(fā)布數(shù)據(jù)并確保保護(hù)L2的誠實(shí)少數(shù)能夠首先獲得數(shù)據(jù)；確保參與者即使在停機(jī)、審查、不可預(yù)見等情況下也能夠獲取數(shù)據(jù)。

什么是數(shù)據(jù)可用性以及它與存儲(chǔ)在以太坊上的數(shù)據(jù)有何不同

• 數(shù)據(jù)可用性：數(shù)據(jù)是否經(jīng)過發(fā)布過程，在公共網(wǎng)絡(luò)上廣播，任何想要下載數(shù)據(jù)的人都有時(shí)間這樣做？

• 當(dāng)將以太坊與IPFS進(jìn)行比較時(shí)，以太坊能夠就數(shù)據(jù)可用性提供共識(shí)

• 2層協(xié)議取決于那里可用的數(shù)據(jù)

• ZK Rollup示例：定序器（Sequencer）接受交易 —> sequencer發(fā)布包含state-delta的區(qū)塊；定序器管理內(nèi)部狀態(tài)。

• ZK Rollup和Validium的區(qū)別：

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

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

• 唯一的區(qū)別是當(dāng)定序器消失時(shí)會(huì)發(fā)生什么。在Validium中，這是一個(gè)問題，因?yàn)槿绻ㄐ蚱飨?，資金就會(huì)永遠(yuǎn)卡在那里

• 信標(biāo)鏈只會(huì)包含數(shù)據(jù)的哈希值

• 分片不需要永遠(yuǎn)存儲(chǔ)數(shù)據(jù)。關(guān)鍵是要給想要下載數(shù)據(jù)的人足夠的時(shí)間去下載

數(shù)據(jù)可用性抽樣如何工作？

• 我們需要一種可擴(kuò)展的方式來確保當(dāng)人們想要下載一些數(shù)據(jù)時(shí)可以下載它

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

• 如果你可以訪問大部分?jǐn)?shù)據(jù)，那就是你認(rèn)為數(shù)據(jù)可用

• 如果有50%的數(shù)據(jù)可用，Reed-Solomon編碼使你能夠重建整個(gè)數(shù)據(jù)集

• 這支持?jǐn)U展，因?yàn)樗恍枰?00%的數(shù)據(jù)可用

• 攻擊者必須將數(shù)據(jù)可用性降低到50%以上才能攻擊網(wǎng)絡(luò)

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

EIP-4844世界

• 繼續(xù)擴(kuò)展共識(shí)層

• 部分?jǐn)?shù)據(jù)將被保留。之后，它們將被修剪

• 數(shù)據(jù)將在足夠長(zhǎng)的時(shí)間內(nèi)可用，以保護(hù)網(wǎng)絡(luò)

• proto-danksharding中可用的數(shù)據(jù)量少于完整danksharding中可用的數(shù)據(jù)量

存儲(chǔ)數(shù)據(jù)的成本降低了多少？

• 目前，以太坊區(qū)塊大小在50-100 kbs之間

• 可以從每塊50 kbs增長(zhǎng)到mb

• rollup將受益于降低的成本

• 在full danksharding中，會(huì)增加一個(gè)數(shù)量級(jí)

為執(zhí)行計(jì)算付出很多的人與為存儲(chǔ)數(shù)據(jù)付出很多的人之間的區(qū)別

• 添加了額外的費(fèi)用參數(shù)以創(chuàng)建不同的市場(chǎng)

• Vitalik寫了一篇關(guān)于Multidimensional EIP-1559的文章

KZG承諾

• 當(dāng)數(shù)據(jù)被采樣時(shí)，無法判斷編碼是否正確

• KZG承諾是一種散列多項(xiàng)式函數(shù)并保證編碼正確的方法

什么是可信設(shè)置？

• 必須設(shè)置有一定關(guān)系的橢圓曲線點(diǎn)。這是KZG承諾方案的基本輸入之一

• 不允許任何人知道他們之間的實(shí)際關(guān)系

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

EIP-4844何時(shí)部署？

• 今年早些時(shí)候，他們?yōu)榇藢懥艘环萏岚?/p>

• 在ETHDenver黑客松中，他們實(shí)現(xiàn)了它并一直在測(cè)試它

• 兩個(gè)不同的分支：進(jìn)一步開發(fā)客戶端軟件并創(chuàng)建測(cè)試網(wǎng)；可信設(shè)置的發(fā)展

• 完成后，他們會(huì)將其包含為EIP

• Proto-danksharding是全面實(shí)施的墊腳石

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

如果人們想從研究/工程的角度做出貢獻(xiàn)，分片中有哪些未解決的問題？

• 弄清楚數(shù)據(jù)可用性抽樣的網(wǎng)絡(luò)

• 如果有更多具有網(wǎng)絡(luò)專業(yè)知識(shí)的人會(huì)很好

• 經(jīng)濟(jì)挑戰(zhàn)：如何制定一個(gè)好的提議者-建造者分離協(xié)議？如何增加審查阻力來繞過審查建設(shè)者？

• 從長(zhǎng)遠(yuǎn)來看，更好的權(quán)益證明設(shè)計(jì)會(huì)是什么樣子？

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