北京時間2月14日情人節當晚,以太坊創始人Vitalik Buterin聯合以太坊基金會(EF)研究人員Dankrad Feist一起舉辦了一場關于擴容解決方案“Danksharding”的教育研討會,如果你想了解區塊鏈如何在增加“去中心化”和“安全性”屬性的同時大規模實現擴容,那么這場研討會就是一個好的切入點。
注:關于“Danksharding”對以太坊的意義,建議讀者先閱讀一下《一文了解以太坊的“擴容殺手锏”danksharding》這篇文章。
以下內容來自Dankrad Feist提供的《Dude, what’s the Danksharding situation??》PPT,如果你想觀看完整的研討會視頻,可以訪問以太坊基金會的官方youtube頻道?。
1、什么是舊的:
(1)數據分片;
(2)使用KZG 承諾的數據可用性;
(3)使用分離分片方案進行原始數據分片;
2、什么是新的:
(1)提議者-構建者(數據生成者)分離 (PBS);
(2)crList;
(3)2D方案;
V神等人提出EIP-4488,旨在降低以太坊二層擴容解決方案的Gas費:11月27日消息,以太坊創始人Vitalik Buterin和以太坊開發者Ansgar Dietrichs本周共同撰寫以太坊改進方案EIP-4488,旨在降低以太坊第二層擴容解決方案的Gas費。該提案旨在更直接地解決高Gas成本問題,同時開發出更穩健的解決方案。
EIP-4488試圖通過兩種方式進一步降低第二層Gas費:降低交易調用數據(calldata)成本(這是Optimistic Rollups和ZK-Rollups的主要機制),以及增加一個區塊中的交易調用數據總量上限。根據Vitalik Buterin的說法,增加可用于Rollups的數據空間量在今天是可行的,因為區塊大小遠不及威脅網絡穩定性的大小。
雖然數據分片可能被視為解決Rollups不完善問題的長期解決方案,但根據zkSync團隊發布的推文,該提案試圖在非常短的時間內降低Gas費,可能在今年圣誕節之前。(CryptoBriefing)[2021/11/27 12:35:33]
(4)建議的架構
3、總結優點和缺點
數據分片
為Rollup和其他擴容解決方案提供數據可用性(DA);
數據的含義由應用層定義;
以太坊基礎共識(全節點和驗證者)除了確保數據可用外不承擔任何責任;
V神:EIP 1559正是當今世界所需要的:V神剛剛在Twitter表示,EIP 1559正是當今世界所需要的。據悉,EIP 1559由V神于2018年首次提出,預計使以太坊區塊鏈的收費市場更加可預測并緩解擁堵。[2020/10/20]
為什么沒有執行分片?與原生執行相比,rollup二層網絡的效率要高100 倍,很難看出執行分片會有什么需求;
目標:提供約 1.3 MB/s 的數據可用性層和完整的分片功能(目前最大數據容量的10倍,平常容量的200倍);
自2019年底以來,數據分片一直是以太坊的目標;
數據可用性采樣(DA sampling)
想知道通過 O(1) 工作獲得的O(n) 數據是可用的;
思路:將數據分布到 n 個chunk分塊中;
每個節點下載 k 個(隨機選擇的)chunk分塊;
糾刪碼(Erasure coding)
使用?Reed-Solomon 編碼(多項式插值)擴展數據;
Cryptograph已通過拍賣V神等人的數字藝術品籌集超過5萬美元:金色財經報道,Cryptograph平臺已啟動了數字藝術品的第一輪拍賣,到目前為止籌集了超過5萬美元,拍賣還將持續兩天時間。到目前為止,拍賣收入最高的包括以太坊創始人V神(其藝術品以40 ETH出售)、以太坊基金會研究員Vlad Zamfir(10 ETH)和Tezos聯合創始人Kathleen Breitman(5 ETH)。據悉,這些數字藝術品作為不可替換代幣(NFT)被存儲在以太坊上。[2020/7/15]
例如,在編碼率 r=0.5 時,這意味著任何 50% 的區塊(d0 到 e4)都足以重建整個數據;
現在采樣變得高效(例如,查詢30個隨機區塊,如果全部可用,超過 50%不可用的概率為2 ^ (-30))
但是,我們需要確保編碼是正確的;
KZG承諾(KZG Commitments)
承諾 C(f)
評估 y = f(z)
證明者可以計算證明 π(f,z)
使用C(f), π(f,z), y 以及 z,驗證者可以確認f(z) = y
聲音 | Calvin Ayre:V神應該多花時間去解決問題 而不是去評論別人:Coingeek創始人Calvin Ayre在推特上發文稱,以太坊的問題在網上有很多的記錄。V神應該把時間花在解決這些問題上,不要再公開評論別人的能力和技術,這對他來說不是一個好的行為。[2019/1/2]
C(f)以及 π(f,z) 是一個橢圓曲線元素(每個48 字節)
KZG 承諾作為數據可用性根
將“KZG 根”想象成類似于 Merkle 根的東西;
不同之處在于“KZG 根”承諾了一個“多項式”(所有點都保證在同一個多項式上,而Merkle根不能保證這一點);
分離分片提案
提議者-構建者(數據生成者)分離 (PBS)
被發明用來對抗 MEV 導致的中心化趨勢;
MEV意味著更成熟的參與者可以比普通驗證者提取更多的價值,這對大型礦池而言意味著優勢;
PBS 在一個獨立的角色中“包含”了這種復雜性/中心化,并具有誠實的少數假設;
以太坊創始人V神發推稱區塊鏈的功能應該是“驗證”而不是“交易執行”:以太坊創始人V神剛剛發布推特稱,他認為區塊鏈應該做的是“驗證”,而不是進行“交易執行”。因為“交易執行”比“驗證”要慢得多。[2018/3/4]
提議者(Proposer)= 驗證者,誠實的多數假設意味著高度的去中心化要求;
數據生成者(Builder)= 單獨的角色,誠實的少數假設,意味著去中心化只需要確保一個誠實(非審查)的數據生成者;
審查阻力方案 – crList
PBS的危險之處:一個高效的構建者(Builder)可以(以一定的經濟成本)永久審查一些交易;
[注:在今天的賄賂模型中, 審查一筆交易的成本是永久賄賂所有提議人而不將這筆交易納入的成本;]
crLists允許提議者指定構建者必須包含的tx列表,從而恢復舊的平衡;
crList(“混合 PBS”設計)
KZG 2d 方案
為什么不在 KZG 承諾中編碼所有內容?
需要一個超級節點(“構建者”)來構建和重建以防失敗的情況;
我們希望避免這種假設的有效性;
目標:在 d 個KZG 承諾中編碼 m 個分片 blob;
如果我們天真地去這樣做,那就需要m * k個樣本,這樣數據就太多了;
相反,我們可以再次使用 Reed-Solomon編碼將 m 個承諾擴展到 2* m 個承諾;
KZG 2d 方案屬性
所有樣本都可以直接根據承諾進行驗證(沒有欺詐證明!);
恒定數量的樣本確保概率數據可用性;
如果 75%+1 的樣本可用:
所有數據都可用;
它可以從只觀察行和列的驗證器中重構;
不需要節點觀察所有的情況;
執行區塊和分片區塊是一起構建的;
我們以前需要分片委員會,因為每個分片 blob可能無法單獨使用;
現在,數據生成者的責任是使執行區塊有效,并且所有分片 blob 都可用;
? 驗證可以是聚合的;
Danksharding 誠實多數驗證
每個驗證者選擇 s = 2 隨機行和列;
僅證明分配的行/列是否可用于整個epoch時期;
一個不可用的區塊(<75% 可用)不能獲得超過 2^(-2s) = 1/16 的證明;
Danksharding 重構
每個驗證者都應該重構他們遇到的任何不完整的行/列;
這樣做時,他們應該將丟失的樣本轉移到正交線;
每個驗證器可以在行/列之間傳輸4個缺失的樣本(大約 55,000 個在線驗證器可保證完全重構)
Danksharding DA 采樣(惡意多數安全)
未來升級
每個全節點檢查方塊矩陣上的 75 個隨機樣本;
這確保了不可用區塊通過的概率< 2 ^(-30);
帶寬 75*512 B / 16s = 2.5 kb/s;
優點
簡單的設計:
不需要分片委員會基礎設施;
不需要跟蹤分片 blob 確認;
沒有額外的構建者基礎設施(來自執行層的同步支付取代了這一點)
可以使用現有的執行層費用市場基礎設施;
執行鏈和分片之間的緊密耦合:
使得rollup設計更簡單;
zkRollup 和執行鏈之間的同步調用是可能的;
分片不需要單獨的 PBS;
隨著數據立即被驗證者集的 1/32(而不是舊分片方案中的 1/2048)確認,并在一個epoch時期內增加到完整的驗證者集,抗賄賂的能力增強了;
得益于2d方案,全節點(無需運行驗證器)將能通過75 個樣本(2.5 kb/s)確保數據可用性,而不是 30*64=1920 個樣本(60 kb/s);
新的挑戰
增加了數據生成者要求:
構建32MB數據的KZG證明(需要100核,但目前正在研究CPU實現)
需要2.5 GBit/s的互聯網連接來分發樣本;
為數據生成者提供了更多權力,因為他們充當了執行+數據層服務提供商;
需要通過crList緩解;
2月15日,中央廣播電視總臺將攜手螞蟻鏈推出首套3D數字藏品——“虎娃”。“虎娃”是中央廣播電視總臺的自主原創IP,是其“十二生肖福娃”系列中的其中一款.
1900/1/1 0:00:001.DeFi代幣總市值:1164.01億美元 DeFi總市值 數據來源:coingecko2.過去24小時去中心化交易所的交易量:61.
1900/1/1 0:00:00一、Web 3.0:將用戶的內容產出轉變為數字資產眾所周知,從歷史的經驗來看,科技的發展始終存在著“概念先行”的特征——即先有新科技的概念,之后才會有緊隨而上的落地應用.
1900/1/1 0:00:00看到Roblox上市,我們會驚呼元宇宙要來了;看到Meta市值蒸發,我們又會感嘆元宇宙要完了…我們傾向于高估新技術的短期影響,也傾向于低估由新技術引發的結構性轉變對競爭格局的長期影響.
1900/1/1 0:00:00破解加密貨幣需要數百萬個量子比特。在過去十年中,計算編程穩步發展并進入量子領域,產生了令人費解的設備,這些設備有望實現不可思議的計算效率.
1900/1/1 0:00:00據參考消息報道,西班牙《經濟學家報》網站稱元宇宙中的房地產銷售額已超過5億美元,并且這個“房地產”新領域在2022年的營業額可能飆升至10億美元.
1900/1/1 0:00:00