加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads

V神科普的“Danksharding”到底是什么?_ING:cardano幣被美國認證

Author:

Time:1900/1/1 0:00:00

北京時間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神:曾使用TornadoCash向烏克蘭捐款:金色財經報道,以太坊創建者Vitalik Buterin公開承認使用Tornado Cash為烏克蘭捐款。Vitalik Buterin澄清說,他使用Tornado Cash來保護資金的接受者,而不是他自己。Buterin在評論Twitter討論時概述了合法的Tornado Cash使用案例和財務隱私的好處,包括在不通知俄羅斯政府的情況下向烏克蘭捐款,Buterin說他已經使用該協議向烏克蘭進行了私人捐款。(cryptobriefing)[2022/8/10 12:14:13]

(4)建議的架構

3、總結優點和缺點

數據分片

為Rollup和其他擴容解決方案提供數據可用性(DA);

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

以太坊基礎共識(全節點和驗證者)除了確保數據可用外不承擔任何責任;

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

目標:提供約 1.3 MB/s 的數據可用性層和完整的分片功能(目前最大數據容量的10倍,平常容量的200倍);

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

數據可用性采樣(DA sampling)

V神:Uniswap是好項目:以太坊聯合創始人V神今日在FTX CEO評價SushiSwap事件推文中留言表示,(DeFi領域中)Uniswap創始人是好的參與者,Uniswap團隊做了幾年的努力,做出了正直的決定,當其他人都在盡可能快地ICO的時候(過去兩周,它們因此被攻擊),Uniswap平臺的推出并不發幣,我看到Uniswap自推出以來一直在發展,說Uniswap對社區不負責任不符合事實。[2020/9/6]

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

思路:將數據分布到 n 個chunk分塊中;

每個節點下載 k 個(隨機選擇的)chunk分塊;

糾刪碼(Erasure coding)

使用?Reed-Solomon 編碼(多項式插值)擴展數據;

例如,在編碼率 r=0.5 時,這意味著任何 50% 的區塊(d0 到 e4)都足以重建整個數據;

現在采樣變得高效(例如,查詢30個隨機區塊,如果全部可用,超過 50%不可用的概率為2 ^ (-30))

V神:正嘗試創建生成錢包地址而非直接創建錢包的方法:8月24日,V神發推稱,標準的錢包創建者只是直接創建錢包,而我正在嘗試尋找一個生成錢包地址的選項。該選項使用CREATE2(新智能合約創建功能)使地址鎖定到包含那些特定參與者的代碼中,而不是直接發布錢包。而在此前,V神提到,上述所謂CREATE2方法具體涉及,給定一個包含N個地址和一個閾值k的列表,生成一個包含k (N)的多簽協議代碼,并輸出可以用CREATE2創建該代碼的地址。[2020/8/24]

但是,我們需要確保編碼是正確的;

KZG承諾(KZG Commitments)

承諾 C(f)

評估 y = f(z)

證明者可以計算證明 π(f,z)

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

C(f)以及 π(f,z) 是一個橢圓曲線元素(每個48 字節)

KZG 承諾作為數據可用性根

聲音 | V神:正積極實施多條路線緩解中心化問題:據CCN報道,末日博士Nouriel Roubini昨日稱V神(Vitalik Buterin)為獨裁者。對此,V神回應稱:“如果你更深入地研究以太坊治理的實際過程,你會發現,雖然技術精英確實存在(如同所有加密貨幣一樣),但我自己的參與遠不如外部看起來那么重要。”盡管如此,V神進一步強調稱,通過實施多個客戶實施、多中心化交易和股權證明,公共區塊鏈治理系統可以更加中心化。V神表示自己同意開發商、交易所和礦工/驗證人的中心化是一個問題,他們正在積極實施多條路線來緩解這種情況。[2018/10/10]

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

不同之處在于“KZG 根”承諾了一個“多項式”(所有點都保證在同一個多項式上,而Merkle根不能保證這一點);

分離分片提案

提議者-構建者(數據生成者)分離 (PBS)

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

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

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

V神:政府利用區塊鏈技術進行“ID+投票”應先從“請愿”開始:V神剛剛發推表示:若政府想利用區塊鏈技術進行“ID+投票”,應該先從請愿這一用例開始,因其不具有約束力,所以安全風險要小得多;但仍可以利用區塊鏈進行驗證和ZKP以保證隱私。[2018/6/12]

提議者(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緩解;

Tags:ING以太坊DANANKSeedling以太坊幣價格今日行情價格美元cardano幣被美國認證blank幣行情

幣安app官網下載
金色Web3.0日報 | 社交游戲巨頭Zynga將推出NFT和區塊鏈游戲_NFT:Ultra NFT

1.DeFi代幣總市值:1203.58億美元 DeFi總市值 數據來源:coingecko2.過去24小時去中心化交易所的交易量:58.

1900/1/1 0:00:00
一文讀懂元宇宙土地稅的必要性_元宇宙:幻境時空元宇宙體驗館

我最近看到有人爭辯說:“元宇宙中的房地產不會有什么前景”,然后我看到Twitch的現任研究和數據副總裁 Drew Harry是這樣回答這個論點的: 背景知識:《第二人生》是一個推出于2003 年.

1900/1/1 0:00:00
項目周刊|哥倫比亞首次使用比特幣購買房地產_比特幣:以太坊幣怎么挖礦

金色周刊是金色財經推出的一檔每周區塊鏈行業總結欄目,內容涵蓋一周重點新聞、行情與合約數據、礦業信息、項目動態、技術進展等行業動態。本文是項目周刊,帶您一覽本周主流項目以及明星項目的進展.

1900/1/1 0:00:00
金色Web3.0周報 | 美國田納西州立法者提議允許該州投資加密貨幣和NFT_NFT:區塊鏈

1.DeFi代幣總市值:1098.16億美元 DeFi總市值 數據來源:coingecko2.過去24小時去中心化交易所的交易量:54.

1900/1/1 0:00:00
商標侵權如何適用于 NFT_NFT:Pandora Protocol

Nike、Quentin Tarantino 和 Birkin 包包有一些共同點——它們都卷入與 NFT、不可替代代幣相關的單獨訴訟中。人們在 NFT 上花費了數十億美元.

1900/1/1 0:00:00
金色Web3.0日報 | 摩根大通: NFT 將在未來主導數字資產領域

1.DeFi代幣總市值:1150.58億美元 DeFi總市值 數據來源:coingecko2.過去24小時去中心化交易所的交易量:58.

1900/1/1 0:00:00
ads