比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads

以太坊:V神詳述:如何實現99%的容錯共識

Author:

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

很長一段時間以來,我們一直聽說在同步網絡中,實現50%容錯的共識是有可能的。在同步網絡中,任何可信節點廣播的消息都可以保證在某個已知時間段內被所有其它可信節點接收。

如果攻擊者超過50%,他們就可以執行“51%攻擊”,對于區塊鏈上同類型的任何算法都有可能出現類似的情況。

我們也一直聽過這樣的說法:如果你想放松同步假設,并且擁有一種“異步下安全”的算法,最大可達到的容錯率可下降到33% (PBFT、Casper FFG等都屬于此類)。

然而,如果添加更多假設(具體來說,你不僅需要觀察者來關注那些不積極參與共識但關心其輸出的用戶,也要積極地關注共識,而不僅僅是在結果出現后下載其輸出),這樣可以把容錯率一路提高到99%嗎?

事實上,這一點 早已人盡皆知。萊斯利·蘭伯特(Leslie Lamport)1982年在著名的談及“拜占庭一般問題”的論文中包含了對算法的描述。下面我將嘗試用簡化的形式重新來描述和表述這個算法。

假設有N個參與共識的節點,每個人都提前同意這些節點代表誰(根據上下文,它們可以由可信方選擇,或者如果需要更強的去中心化程度,可以通過一些工作證明或利害關系進行證明)。

V神:未來10年zk-SNARKs將與區塊鏈一樣重要:5月21日消息,在黑山舉辦的 EDCON 2023 大會上,以太坊聯合創始人 Vitalik Buterin 表示,未來 10 年,zk-SNARKs 將與區塊鏈一樣重要。

以太坊社區大會(EDCON)于 2023 年 5 月 19 日至 23 日在黑山波德戈里察舉行,本次會議演講嘉賓包括了以太坊聯合創始人 Vitalik Buterin、以太坊核心開發者 Tim Beiko、以太坊基金會 Devcon 團隊負責人 Skylar Weaver 與以太坊基金會研究員 Vlad Zamfir、Piper Merriam、Andy Guzman 等。EDCON 是一個非營利性的年度全球以太坊會議,每年在不同國家 / 地區舉辦,致力于通過促進全球以太坊社區的交流和互動來服務于以太坊生態系統。[2023/5/21 15:17:04]

我們把這些節點標記為0…N-1。另外,還假設網絡延遲和時鐘差異上有一個已知的限制D。(例如,D = 8秒)。每個節點都有能力在T時刻發布值(惡意節點當然可以早于T或晚于T地發布值)。

V神:BITE和大多數Meme幣都是“垃圾幣”:金色財經報道,以太坊聯合創始人Vitalik Buterin在Reddit論壇上發言表示,BITE和大多數Meme幣都是“垃圾幣(shitcoins)”,他認為這些代幣沒有可贖回的文化或道德價值,可能會給投資者帶來巨大經濟損失。V神還表示,自己最大程度地反背書這些項目。[2023/3/9 12:52:27]

所有節點等待(N - 1)?D秒,運行如下進程。定義x: i為“節點i簽名的值x”,x: i: j為“節點i簽名的值x,并且x與j一起簽名”,等等。在第一階段發表的提案將采用v的形式: i的形式為一些v和i,其中包括提出該提案的節點的簽名。

如果一個驗證器i收到一些消息v: i:…: i[k], 其中 i:…:i[k]是已經按順序對消息進行了簽名的索引列表(只是v本身會算作k = 0,而v:i則為k = 1),那么驗證程序檢查(i)的時間將小于T + k?D,同時他們尚未看到包含以下內容的有效消息;如果兩項檢查均通過了,則會發布v: i:…: i[k]: i。

V神:可使用區塊鏈補充反托拉斯法:金色財經報道,法律教授Thibault Schrepel和以太坊創始人V神今天通過YouTube展示了他們題為《作為反托拉斯的區塊鏈代碼》的論文。作者認為,國家應該使用公共的、無需許可的區塊鏈來補充反托拉斯法(即反壟斷法)。作者指出,反托拉斯法和區塊鏈技術的目標都是去中心化。[2020/7/17]

在T + (N - 1)?D時,節點停止監聽。此時,就可以保證所有的可信節點都“有效地看到了”相同的一組值。

如果問題要求選擇一個值,則可以使用一些“選擇”函數從他們看到的值中選擇一個值(例如采用哈希值最低的值)。然后節點可以就該值達成共識。

現在,讓我們來探究一下為什么這種方式有效。我們需要證明的是,如果一個誠實節點(有效地)看到了特定的值,然后其它的誠實節點也看到該值(如果我們證明了這一點,那么我們知道所有誠實節點都看到了同一組值,因此如果所有誠實節點都運行相同的選擇功能,他們會選擇相同的值)。

假設任何誠實節點收到一條消息v: i:…i[k],他們認為是有效的。在時間T + k?D之前到達),假設x是另一個誠實節點的索引。x要么是i的一部分:…要么不是。

聲音 | V神:量子計算離直接使用還有很長的路要走:V神發推稱:到目前為止,我對量子霸權理論的一句話印象是,它對于真正的量子計算就像氫彈對于核聚變一樣。這證明了一種現象和從這種現象中獲取能量的能力是存在的,但離直接使用它還有很長的路要走。[2019/10/24]

在第一種情況下(對于此消息,x=i[j]),我們知道誠實節點x已經廣播該消息,他們這樣做是為了響應他們在時間T+(j - 1)·D之前收到的帶有j-1簽名的消息。此時他們廣播了他們的消息,那么所有誠實節點一定都會在時間T + j?D前收到消息。

在第二種情況下,由于誠實節點在時間T + k?D之前看到消息,那么它們就會用自己的簽名傳播消息,并保證包括x在內的所有人都會在時間T + (k + 1)?D之前看到它。

注意,該算法使用添加自己簽名的行為作為消息超時的一種“碰撞”。正是這種能力保證了一個誠實的節點如果及時看到了消息,那它們也可以確保其它所有節點也能及時看到消息,因為“準時”的定義增加的時間超過了每添加一個簽名的網絡延遲。

在一個節點是誠實的情況下,我們能否保證被動的觀察者(比如關心結果的非共識參與節點)也可以看到結果。

聲音 | V神:下一波加密貨幣應用不會建立在炒作之上:據ambcrypto消息,V神在接受采訪時談到了加密貨幣領域的發展。他還談到了2019年加密貨幣領域的下一波大浪潮。對于自今年年初以來,市場上大多數主流加密貨幣的價值已縮水逾一半,V神認為,該空間目前需要更多的技術“實際應用”來推動它向前發展,整個團隊長期以來一直在努力構建該技術。他說:“就像下一波加密貨幣應用浪潮不會建立在炒作的基礎上,因為炒作基本上已經到來了,下一波必須來自真正有用的應用程序且要為人們提供價值的東西。[2018/12/1]

按照計劃,存在一個問題。假設一個指揮官和k(惡意)驗證器的某個子集生成一條消息v: i:…i[k],并且在T + k?D前廣播給一些受害者,受害者認為消息是“準時”,但當他們轉發時,消息只會在T + k?D之后達到所有的已經協商一致的誠實節點,而所有協商一致的誠實節點將會拒絕它。

但我們可以堵住這個洞,提出一個新的約束:要求D在兩倍的網絡延遲加上時間差。然后我們給觀察者一個不同的超時:觀察者接受v: i:…i[k]必須在 T + (k - 0.5)?D之前。

現在,假設觀察者看到一條消息并接受了它。他們能夠在時間T + k?D之前將其廣播到一個誠實節點,并且誠實節點將發布帶有簽名的消息,該消息將在T + D (k + 0.5)之前到達所有其它觀察者,同時帶有k + 1個簽名的消息將會超時。

改進其它共識算法

理論上講,上述算法可以作為獨立的共識算法使用,甚至可以用于運行權益證明的區塊鏈。

第N + 1輪共識的驗證器集合本身可以在第N輪共識中被決定(例如,每輪共識也可以接受“存款”和“取款”交易,如果接受并正確簽名,將添加或刪除驗證器后進入下一輪)。

需要添加的主要額外成分是另一種機制,用于決定允許提議區塊的提名者(例如。每輪可以有一個指定的提名者)。它也可以被修改為用作工作證明的區塊鏈,允許參與共識的節點通過公鑰發布工作解決方案的證明,同時通過簽名實時地“聲明自己”。

然而,同步假設是非常強大的,所以我們希望在不需要超過33%或50%容錯的情況下,無需同步假設也能工作。有一種方法可以做到這一點。

假設我們有一些其它的共識算法(例如,PBFT, Casper FFG,基于鏈的PoS),其輸出可以被偶爾在線的觀察者看到(我們稱之為閾值依賴的共識算法,而上文所述的算法我們稱之為延遲依賴的共識算法)。

假設閾值依賴的共識算法持續運行,在一種模式下,它將不斷地“確定”新的區塊到鏈上。例如:每一個最終值都將指向一個“父”;如果有一個指針序列a→…→B,我們稱A為B的后裔。

我們可以在這種結構上改進依賴于延遲的算法,讓總是在線的觀察者能夠訪問檢查點上的一種“有可能結果”,容錯性約為95%(也可以通過添加更多的驗證器和要求使用花費更長時間的過程來將容錯性推進至100%)。

每當時間達到4096秒的倍數時,我們就運行依賴于延遲的算法,選擇512個隨機節點來參與算法。

一個有效的建議是由閾值相關算法最終確定的任何有效的值鏈。如果一個節點在時間T + k?D (D = 8秒)之前看到有k個簽名的某個最終值,則接受該鏈進入它的已知鏈集中,并添加自己的簽名進行重新廣播它;觀察者像以前一樣使用T + (k - 0.5)?D的閾值。

最后使用的“選擇”函數很簡單:

忽略不是在前一輪中已經商定的最終確定值的后代的值

忽略最終的無效值

在兩個有效的最終值中進行選擇時,選擇哈希值較低的那個

如果5%的驗證器是誠實的,那么隨機選擇的 512 個節點中,只有大約 1 萬億分之一的機會是誠實的,因此當上述算法工作,將會協調得出單一最終值的節點。

如果閾值依賴的共識算法的容錯性被滿足(通常50%或67%的節點是誠實的),那么閾值依賴的共識算法將不會確定任何新的檢查點,或者它將確定最終彼此兼容的新檢查點(例如,每個檢查點都指向前一個檢查點作為父檢查點)。

因此,參與依賴于延遲的算法的節點不會同意它們接受的值,它們接受的值仍然保持為同一鏈的一部分,不存在沒有實際的分歧。一旦延遲在未來的某個回合恢復正常,依賴于延遲的共識將恢復“同步”。

如果依賴閾值和依賴延遲的共識算法的假設同時被打破(或在連續的兩輪中被打破),那么算法就會分解。例如,假設在一輪中,閾值依賴共識最終確定Z→X→Y,而延遲以來共識在X,Y之間意見不一,那么共識將會在不達成協議情況下結束。下一輪閾值依賴共識將會在最終確定W不源于 X,且X不源于Y的情況下結束;在依賴延遲的共識中,同意Y的節點不會接受W,而同意X的節點會。然而,這是不可避免的;異步下的安全共識是不可能的。

容錯是拜占庭容錯理論中一個眾所周知的結論,就像很多的不可能事件一樣,容錯甚至在觀察器離線情況下允許同步假設。

作者:Vitalik Buterin(V神)

翻譯 | Katie 責編 | 晉兆雨

原文鏈接:

https://hackernoon.com/how-to-achieve-99percent-fault-tolerant-consensus-n25b31m

Tags:以太坊區塊鏈CON加密貨幣以太坊幣最新價格6月走勢分析區塊鏈存證Iconiq Lab Token加密貨幣有哪幾種

芝麻開門交易所下載
區塊鏈:視頻 | 歐易DeFi 20講(二):以太坊虛擬機EVM到底是什么?

金色財經與歐易OKEx聯合推出「歐易DeFi20講」,深度幫助用戶了解DeFi。動態 | YouTube明星PewDiePie在最新視頻中宣傳TRON,并帶動DLive注冊數增長:據Sludge.

1900/1/1 0:00:00
DAO:區塊鏈·世界志 | 對話Layer2 DAO:Web3經濟體的基礎設施

王瑜琨:Layer2搭上DAO,將成為Web3經濟體基礎設施?今天金色財經將對話Metis Co-Founder & CEO Elena Sinelnikova.

1900/1/1 0:00:00
比特幣:“貨幣”永遠是工作的重中之重

原標題:比特的投資邏輯本文的投資邏輯與目前市場上大多數分析師的投資邏輯不同,因為本文提到的標的,幾乎不涉及經濟模型的深究和技術實力的闡述,而是從角度出發,所以叫作“比特”.

1900/1/1 0:00:00
MDX:金色說明書 | 收益聚合器協議Converter操作指南

DeFi流動性挖礦火爆一時,吸引了大量投資者參與。為了方便投資者及時了解DeFi挖礦項目的相關信息和挖礦流程,金色財經推出了“金色說明書”系列挖礦教程.

1900/1/1 0:00:00
DEF:金色DeFi日報 | Dash推出以太坊DeFi橋接

DeFi數據 1.DeFi總市值:866.82億美元 市值前十幣種排名數據來源DeFiboxDeFi總市值數據來源:Coingecko2.過去24小時去中心化交易所的交易量:16.

1900/1/1 0:00:00
SDT:3.12午間行情:臨近前高 博弈剛剛開始

文章系金色財經專欄作者牛七的區塊鏈分析記供稿,發表言論僅代表其個人觀點,僅供學習交流!金色盤面不會主動提供任何交易指導,亦不會收取任何費用指導交易,請讀者仔細甄別,謹防上當.

1900/1/1 0:00:00
ads