以太坊:V神科普的“Danksharding”到底是什么？_DAN

北京時間2月14日情人節當晚，以太坊創始人VitalikButerin聯合以太坊基金會研究人員DankradFeist一起舉辦了一場關于擴容解決方案“Danksharding”的教育研討會，如果你想了解區塊鏈如何在增加“去中心化”和“安全性”屬性的同時大規模實現擴容，那么這場研討會就是一個好的切入點。

注：關于“Danksharding”對以太坊的意義，建議讀者先閱讀一下《一文了解以太坊的“擴容殺手锏”danksharding》這篇文章。

以下內容來自DankradFeist提供的《Dude,what’stheDankshardingsituation??》PPT，如果你想觀看完整的研討會視頻，可以訪問以太坊基金會的官方youtube頻道?。

概述

1、什么是舊的：

數據分片；

使用KZG承諾的數據可用性；

使用分離分片方案進行原始數據分片；

2、什么是新的：

提議者-構建者分離(PBS)；

V神報告ETH2.0存款合約已達46萬枚ETH:V神剛剛發推稱，以太坊2.0存款合約現在達到46萬枚ETH（達成~87.7%的目標），到最早可能的啟動時間還有12個小時。創世啟動將在激活后7天發生，需要達到524288枚ETH才能激活。V神稱，如果想要啟動創世紀，請確保在激活前存款。而截至發稿，以太坊2.0存款合約地址余額已達462,208枚ETH，距離524288枚ETH啟動以太坊2.0創世區塊的最低要求已完成88.16%。[2020/11/24 21:52:54]

crList；

2D方案；

建議的架構

3、總結優點和缺點

什么是舊的

數據分片

為Rollup和其他擴容解決方案提供數據可用性；

數據的含義由應用層定義；

以太坊基礎共識除了確保數據可用外不承擔任何責任；

為什么沒有執行分片？與原生執行相比，rollup二層網絡的效率要高100倍，很難看出執行分片會有什么需求；

目標：提供約1.3MB/s的數據可用性層和完整的分片功能；

自2019年底以來，數據分片一直是以太坊的目標；

孫宇晨回應V神：BitTorrent前雇員的虛假聲明沒有任何價值:針對今日午間V神轉發揭露波場收購BitTorrent內部運作相關文章，剛剛，孫宇晨于推特轉發BitTorrent官方medium文章作為回應。孫宇晨在文章中表示，BitTorrent前雇員Lucasz Juraszek、Richard Hall和Cong Li的虛假聲明和敘述沒有任何價值。BitTorrent法律顧問已經向法院提交了所有證據，爭議目前正在等待仲裁。他稱，相信法院的裁決將不言自明。今日午間消息，V神轉發揭露波場收購BitTorrent內部運作相關文章，該文章闡述了波場收購BitTorrent的一系列運作及爭議事件，包括抄襲風波等，且文章中包含部分BitTorrent前雇員Lucasz Juraszek、Cong Li相關采訪內容。[2020/9/30]

數據可用性采樣

想知道通過O(1)工作獲得的O(n)數據是可用的；

思路：將數據分布到n個chunk分塊中；

每個節點下載k個chunk分塊；

V神評論Steem凍結資金爭議 建議Steem用戶轉移到Hive鏈遭孫宇晨回懟:5月20日消息，針對Steem計劃在即將到來的硬分叉升級中凍結Hive支持者500萬美元代幣一事，V神于推特評論建議Steem用戶都轉移到Hive鏈上，他說：“難道不是每個steem用戶都應該遷移到hive嗎？”對此，孫宇晨回嗆V神稱“難道不是每個以太坊用戶都應該遷移到波場鏈嗎？”

今日早間消息，Steem即將硬分叉升級，并計劃凍結Hive支持者500萬美元代幣引發爭議。有相關人士認為此舉為孫宇晨借硬分叉升級懲罰此前反對他收購Steem的參與者。此前2019年12月消息，孫宇晨宣布收購Steemit遭社區反對并引發一系列爭議，隨后3月20日，Steem社區進行硬分叉，新鏈名為Hive。（Crypto Potato）[2020/5/20]

糾刪碼

使用?Reed-Solomon編碼擴展數據；

例如，在編碼率r=0.5時，這意味著任何50%的區塊都足以重建整個數據；

現在采樣變得高效

但是，我們需要確保編碼是正確的；

金色財經現場報道，V神稱：區塊鏈在金融行業最有望成為領跑產業:在以太坊技術及應用大會上，觀眾提出問題：什么時候區塊鏈能真正和一個特定的領域和行業在一起，成為領跑者？V神表示：金融行業，應用的最早，其他的行業如游戲行業也很有前景。也有人問及以太坊什么時候能漲到1萬元，V神坦言不知道。[2018/6/3]

KZG承諾

多項式

承諾C(f)

評估y=f(z)

證明者可以計算證明π

使用C(f),π，y以及z，驗證者可以確認f(z)=y

C(f)以及π是一個橢圓曲線元素

KZG承諾作為數據可用性根

將“KZG根”想象成類似于Merkle根的東西；

不同之處在于“KZG根”承諾了一個“多項式”；

分離分片提案

V神已于今日上午出席數字經濟與政府監管研討會:據中央財經大學法學院官方消息，V神于今日（6月2日）上午出席中央財經大學法學院主辦的數字經濟與政府監管研討會。參會嘉賓包括中央財經大學法學院、中國政法大學、中央民族大學等在內的各大高校教授、副教授、研究主任，會議就區塊鏈金融科技監管展望、行業自律與法律監管以及區塊鏈產業未來發展趨勢這兩個主題展開。[2018/6/2]

什么是新的

提議者-構建者分離(PBS)

被發明用來對抗MEV導致的中心化趨勢；

MEV意味著更成熟的參與者可以比普通驗證者提取更多的價值，這對大型礦池而言意味著優勢；

PBS在一個獨立的角色中“包含”了這種復雜性/中心化，并具有誠實的少數假設；

提議者=驗證者，誠實的多數假設意味著高度的去中心化要求；

數據生成者=單獨的角色，誠實的少數假設，意味著去中心化只需要確保一個誠實的數據生成者；

審查阻力方案–crList

PBS的危險之處：一個高效的構建者可以永久審查一些交易；

crLists允許提議者指定構建者必須包含的tx列表，從而恢復舊的平衡；

crList

KZG2d方案

為什么不在KZG承諾中編碼所有內容？

需要一個超級節點來構建和重建以防失敗的情況；

我們希望避免這種假設的有效性；

目標：在d個KZG承諾中編碼m個分片blob；

如果我們天真地去這樣做，那就需要m*k個樣本，這樣數據就太多了；

相反，我們可以再次使用Reed-Solomon編碼將m個承諾擴展到2*m個承諾；

KZG2d方案屬性

所有樣本都可以直接根據承諾進行驗證；

恒定數量的樣本確保概率數據可用性；

如果75%+1的樣本可用：

所有數據都可用；

它可以從只觀察行和列的驗證器中重構；

不需要節點觀察所有的情況；

組合在一起就是Danksharding

執行區塊和分片區塊是一起構建的；

我們以前需要分片委員會，因為每個分片blob可能無法單獨使用；

現在，數據生成者的責任是使執行區塊有效，并且所有分片blob都可用；

?驗證可以是聚合的；

Danksharding誠實多數驗證

每個驗證者選擇s=2隨機行和列；

僅證明分配的行/列是否可用于整個epoch時期；

一個不可用的區塊不能獲得超過2^(-2s)=1/16的證明；

Danksharding重構

每個驗證者都應該重構他們遇到的任何不完整的行/列；

這樣做時，他們應該將丟失的樣本轉移到正交線；

每個驗證器可以在行/列之間傳輸4個缺失的樣本

DankshardingDA采樣

未來升級

每個全節點檢查方塊矩陣上的75個隨機樣本；

這確保了不可用區塊通過的概率<2^(-30);

帶寬75*512B/16s=2.5kb/s；

總結優點和缺點

優點

簡單的設計：

不需要分片委員會基礎設施；

不需要跟蹤分片blob確認；

沒有額外的構建者基礎設施

可以使用現有的執行層費用市場基礎設施；

執行鏈和分片之間的緊密耦合：

使得rollup設計更簡單；

zkRollup和執行鏈之間的同步調用是可能的；

分片不需要單獨的PBS；

隨著數據立即被驗證者集的1/32確認，并在一個epoch時期內增加到完整的驗證者集，抗賄賂的能力增強了；

得益于2d方案，全節點將能通過75個樣本確保數據可用性，而不是30*64=1920個樣本；

新的挑戰

增加了數據生成者要求：

構建32MB數據的KZG證明

需要2.5GBit/s的互聯網連接來分發樣本；

為數據生成者提供了更多權力，因為他們充當了執行+數據層服務提供商；

需要通過crList緩解；

Tags：以太坊DANDANKANK以太坊最新價格人民幣CardanoEvoDANK幣RANKER幣

加密貨幣