Vitalik 科普的“Danksharding”到底是什么？_FTX:lbank交易所內部人員

翻譯：灑脫喜

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

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

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

概述

1、什么是舊的：

數據分片；

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

外媒：澳大利亞監管機構ASIC在FTX崩潰前八個月就已對其抱有擔憂:1月30日消息，據外媒報道，早在FTX于去年11月倒閉8個月前，澳大利亞金融監管機構就對該交易所在澳大利亞的子公司存在疑慮。Guardian Australia獲得的文件顯示，澳大利亞證券和投資委員會（ASIC）官員對FTX Australia的運營方式感到擔憂，因為該公司能夠通過公司收購在該國獲得牌照。

據了解，FTX于2021年12月收購金融機構IFS Markets，獲得了澳大利亞金融服務許可證（AFSL），并于2022年3月開始運營。ASIC負責人Joe Longo表示，這使得FTX Australia有效地避開了通常適用于新的AFSL許可證持有者的同一級別的審查。

文件顯示，該監管機構在FTX開始運營的同月向其發布了第912C條通知，要求它向ASIC提供有關其運營的文件，以評估FTX是否符合AFSL許可證條件。有了該通知，ASIC可以指示被許可人提供文件，說明他們提供的金融服務、被許可人開展的金融服務業務，并確定被許可人是否滿足“合適人選測試”。

還有一份簡報文件也證實，在最初的擔憂和去年11月FTX崩潰之間的幾個月里，該監管機構已將該交易所置于“監視活動”之下，總共向FTX發出了三次通知。文件時間表還顯示，ASIC直到2022年10月仍對FTX的運營感到擔憂。（Cointelegraph）[2023/1/30 11:36:33]

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

Celsius擬將用戶提出索賠的截止日期延長至明年2月初:金色財經報道，Celsius正準備在本周晚些時候提出一項動議，要求將提出索賠的截止日期從2023年1月3日延長至2月初，以求為賬戶持有人提供更多時間來提交索賠證明。法院定于2023年1月10日舉行聽證會審理該動議，目前截止日期延長至法院審理日。

據悉，Celsius管理著超過100億美元的資產，并聲稱擁有超過170萬用戶。該公司在今年7月申請了破產保護。[2022/12/29 22:13:58]

2、什么是新的：

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

crList；

2D方案；

建議的架構

3、總結優點和缺點

一、什么是舊的

1、1數據分片

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

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

日本央行行長：必須迅速采取監管措施應對加密資產風險:11月14日消息，當被問及加密貨幣交易平臺FTX破產一事時，日本央行行長黑田東彥表示，必須迅速采取監管措施應對加密資產風險。(金十)[2022/11/14 13:02:12]

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

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

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

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

1、2數據可用性采樣

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

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

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

1、3糾刪碼

Bybit計劃發布儲備金證明:11月9日消息，Bybit聯合創始人Ben Zhou在推特上表示，Bybit致力于保證客戶資金安全，且會確保1比1的準備金。我們不是銀行，只對客戶資金進行托管。目前Bybit正研究默克爾樹（Merkle Tree）的儲備證明解決方案。[2022/11/9 12:39:25]

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

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

3、現在采樣變得高效

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

1、4KZG承諾

1、多項式

2、承諾C(f)

3、評估y=f(z)

證明者可以計算證明π

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

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

Ripple匯款技術合作伙伴Airwallex在Shopify推出線上支付APP:7月21日消息，金融科技平臺 Airwallex 宣布在 Shopify 上推出其 Airwallex 線上支付應用程序，商家可以將其集成到在線商店中以接受其全球客戶的付款。

Airwallex 于 2017 年加入 Ripple 企業區塊鏈網絡 RippleNet，以利用區塊鏈的力量實現全球支付現代化，作為 RippleNet 的一部分，該公司也在采用商業區塊鏈為其客戶提供獨特的全球支付體驗。通過 Airwallex 賬戶，商家可以以一種方便、快速和經濟實惠的方式安全地訪問全球和本地多種支付方式。（U.today）[2022/7/21 2:29:50]

1、5KZG承諾作為數據可用性根

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

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

1、6分離分片提案

二、什么是新的

2、1提議者-構建者分離(PBS)

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

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

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

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

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

2、2審查阻力方案–crList

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

2、

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

crList

2、3KZG2d方案

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

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

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

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

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

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

2、4KZG2d方案屬性

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

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

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

所有數據都可用；

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

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

三、組合在一起就是Danksharding

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

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

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

2、?驗證可以是聚合的；

3、1Danksharding誠實多數驗證

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

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

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

3、2Danksharding重構

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

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

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

3、3DankshardingDA采樣

1、未來升級

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

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

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

四、總結優點和缺點

優點：

1、簡單的設計：

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

不需要跟蹤分片blob確認；

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

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

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

使得rollup設計更簡單；

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

3、分片不需要單獨的PBS；

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

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

新的挑戰：

1、增加了數據生成者要求：

構建32MB數據的KZG證明

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

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

需要通過crList緩解；

Tags：FTXANKDANKDANSBLAND Vault (NFTX)lbank交易所內部人員Mu Dankdandy.dego

Gateio