作者|?YuLiebing
責編|Carol
出品|區塊鏈大本營
拜占庭將軍問題(TheByzantineGeneralsProblem)提供了對分布式共識問題的一種情景化描述,由LeslieLamport等人在1982年首次發表。論文《TheByzantineGeneralsProblem》同時提供了兩種解決拜占庭將軍問題的算法:
口信消息型解決方案(Asolutionwithoralmessage);
簽名消息型解決方案(Asolutionwithsignedmessage).
論文:
https://www-inst.eecs.berkeley.edu/~cs162/sp16/static/readings/Original_Byzantine.pdf
本文之后將詳細講述這兩種算法。事實上,拜占庭將軍問題是分布式系統領域最復雜的容錯模型,?它描述了如何在存在惡意行為(如消息篡改或偽造)的情況下使分布式系統達成一致。是我們理解分布式一致性協議和算法的重要基礎。
Dymension即將推出激勵測試網Froopyland,將獎勵代幣總供應量的1%:6月27日消息,模塊化區塊鏈網絡Dymension宣布即將推出激勵測試網Froopyland,新測試網將是一個無需許可的部署測試網,此前Dymension僅允許Dymension的核心團隊部署RollApps。Froopyland還將提供激勵措施。Dymension代幣DYM總供應量為10億枚,其中的1%將分發給Froopyland中的RollApp部署者(400萬枚)、驗證者(400萬枚)、測試用戶(100萬枚)和前10名Rollapes(100萬枚)。[2023/6/27 22:03:21]
拜占庭將軍問題描述
拜占庭將軍問題描述了這樣一個場景:
圖1.拜占庭將軍問題
拜占庭帝國(ByzantineEmpire)軍隊的幾個師駐扎在敵城外,每個師都由各自的將軍指揮。將軍們只能通過信使相互溝通。在觀察敵情之后,他們必須制定一個共同的行動計劃,如進攻(Attack)或者撤退(Retreat),且只有當半數以上的將軍共同發起進攻時才能取得勝利。然而,其中一些將軍可能是叛徒,試圖阻止忠誠的將軍達成一致的行動計劃。?更糟糕的是,負責消息傳遞的信使也可能是叛徒,他們可能篡改或偽造消息,也可能使得消息丟失。
美國IRS與烏克蘭合作追蹤使用加密貨幣逃避制裁的俄羅斯人:金色財經報道,美國國稅局(IRS)表示,正在與烏克蘭密切合作,向烏克蘭提供Chainalysis工具幫助其追蹤使用加密貨幣交易逃避制裁的俄羅斯人,并為該國的執法部門組織了關于追蹤區塊鏈交易的培訓課程。[2023/5/14 15:02:16]
為了更加深入的理解拜占庭將軍問題,我們以三將軍問題為例進行說明。當三個將軍都忠誠時,可以通過投票確定一致的行動方案,圖2展示了一種場景,?即GeneralA,B通過觀察敵軍軍情并結合自身情況判斷可以發起攻擊,而GeneralC通過觀察敵軍軍情并結合自身情況判斷應當撤退。?最終三個將軍經過投票表決得到結果為進攻:撤退=2:1,?所以將一同發起進攻取得勝利。對于三個將軍,每個將軍都能執行兩種決策(進攻或撤退)的情況下,共存在6中不同的場景,圖2是其中一種,對于其他5中場景可簡單地推得,通過投票三個將軍都將達成一致的行動計劃。
圖2.三個將軍均為忠誠的場景
當三個將軍中存在一個叛徒時,將可能擾亂正常的作戰計劃。圖3展示了GeneralC為叛徒的一種場景,他給GeneralA和GeneralB發送了不同的消息,在這種場景下GeneralA通過投票得到進攻:撤退=1:2,最終將作出撤退的行動計劃;GeneralB通過投票得到進攻:撤退=2:1,最終將作出進攻的行動計劃。結果只有GeneralB發起了進攻并戰敗。
元宇宙專委會執行會長羅軍:布局元宇宙產業,做好頂層設計至關重要:金色財經報道,10月13日,在談到元宇宙究竟是什么,以及如何更清晰地理解和認識元宇宙時,中國計算機行業協會元宇宙專委會執行會長羅軍表示,目前全世界對元宇宙的定義還沒有標準答案,而且很難有一個標準答案。元宇宙是5G通訊、物聯網、人工智能、人機交互、區塊鏈等眾多先進技術融合的產物,與現實世界保持及時鏈接的虛擬空間。元宇宙的實質是互聯網,是下一代互聯網。現在的互聯網是二維的、平面的空間結構,而元宇宙則是三維、四維,乃至多維結構,是立體的互聯網空間表現形態。元宇宙經濟就是互聯網經濟,是數字經濟新的外延和內涵。
羅軍還提到,元宇宙的本質是游戲,核心是軟件。之所以說是“游戲”,因為元宇宙立足于互聯網空間,是虛擬存在的,我們把所有虛擬的網絡活動都稱之為“游戲”。在元宇宙空間,虛擬人、數字孿生、云渲染無處不在。[2022/10/15 14:28:09]
圖3.二忠一叛的場景
事實上,對于三個將軍中存在一個叛徒的場景,想要總能達到一致的行動方案是不可能的。詳細的證明可參看LeslieLamport的論文。此外,論文中給出了一個更加普適的結論:如果存在m個叛將,那么至少需要3m+1個將軍,才能最終達到一致的行動方案。
Celsius從Aave取出40萬枚stETH,約合4.18億美元:7月12日消息,Celsius Network錢包地址(0x8ace開頭)今晚從Aave取出40萬枚stETH(約合4.18億美元),此前還于北京時間19:23:07、19:31:39、19:37:54,分3次向Aave協議償還累計6350萬枚USDC。[2022/7/13 2:08:51]
解決方案
LeslieLamport在論文中給出了兩種拜占庭將軍問題的解決方案,即口信消息型解決方案(Asolutionwithoralmessage)和簽名消息型解決方案(Asolutionwithsignedmessage)。
1、口信消息型解決方案
首先,對于口信消息(Oralmessage)的定義如下:
A1.任何已經發送的消息都將被正確傳達;
A2.消息的接收者知道是誰發送了消息;
A3.消息的缺席可以被檢測。
基于口信消息的定義,我們可以知,?口信消息不能被篡改但是可以被偽造。基于對圖3場景的推導,我們知道存在一個叛將時,必須再增加3個忠將才能達到最終的行動一致。為加深理解,我們將利用3個忠將1個叛將的場景對口信消息型解決方案進行推導。在口信消息型解決方案中,首先發送消息的將軍稱為指揮官,其余將軍稱為副官。對于3忠1叛的場景需要進行兩輪作戰信息協商,如果沒有收到作戰信息那么默認撤退。圖4是指揮官為忠將的場景,在第一輪作戰信息協商中,指揮官向3位副官發送了進攻的消息;在第二輪中,三位副官再次進行作戰信息協商,由于GeneralA、B為忠將,因此他們根據指揮官的消息向另外兩位副官發送了進攻的消息,而GeneralC為叛將,為了擾亂作戰計劃,他向另外兩位副官發送了撤退的消息。最終CommandingGeneral,GeneralA和B達成了一致的進攻計劃,可以取得勝利。
比特幣閃電網絡容量為3,808.73BTC:金色財經報道,1ML網站數據顯示,比特幣閃電網絡(LightningNetwork)的節點數量為17,437個,同比減少13.49%;通道數量為84,325個,同比減少2.1%;網絡容量為3,808.73BTC,同比增長5%。[2022/5/16 3:18:05]
圖4.指揮官為忠將的場景
圖5是指揮官為叛將的場景,在第一輪作戰信息協商中,指揮官向GeneralA、B發送了撤退的消息,但是為了擾亂GeneralC的決定向其發送了進攻的消息。在第二輪中,由于所有副官均為忠將,因此都將來自指揮官的消息正確地發送給其余兩位副官。最終所有忠將都能達成一致撤退的計劃。
圖5.指揮官為叛將的場景
如上所述,對于口信消息型拜占庭將軍問題,如果叛將人數為m,將軍人數不少于3m+1,那么最終能達成一致的行動計劃。值的注意的是,在這個算法中,叛將人數m是已知的,且叛將人數m決定了遞歸的次數,即叛將數m決定了進行作戰信息協商的輪數,如果存在m個叛將,則需要進行m+1輪作戰信息協商。這也是上述存在1個叛將時需要進行兩輪作戰信息協商的原因。
2、簽名消息型解決方案
同樣,對簽名消息的定義是在口信消息定義的基礎上增加了如下兩條:
A4.忠誠將軍的簽名無法偽造,而且對他簽名消息的內容進行任何更改都會被發現;
A5.任何人都能驗證將軍簽名的真偽。
基于簽名消息的定義,我們可以知道,簽名消息無法被偽造或者篡改。為了深入理解簽名消息型解決方案,我們同樣以3三將軍問題為例進行推導。?圖6是忠將率先發起作戰協商的場景,GeneralA率先向GeneralB、C發送了進攻消息,一旦叛將GeneralC篡改了來自GeneralA的消息,那么GeneralB將將發現作戰信息被GeneralC篡改,GeneralB將執行GeneralA發送的消息。
圖6.忠將率先發起作戰協商
圖7是叛將率先發起作戰協商的場景,叛將GeneralC率先發送了誤導的作戰信息,那么GeneralA、B將發現GeneralC發送的作戰信息不一致,因此判定其為叛將。可對其進行處理后再進行作戰信息協商。
圖7.叛將率先發起作戰協商
簽名消息型解決方案可以處理任何數量叛將的場景。
總結
在分布式系統領域,拜占庭將軍問題中的角色與計算機世界的對應關系如下:
將軍,對應計算機節點;
忠誠的將軍,對應運行良好的計算機節點;
叛變的將軍,被非法控制的計算機節點;
信使被殺,通信故障使得消息丟失;
信使被間諜替換,通信被攻擊,攻擊者篡改或偽造信息。
如上文所述,拜占庭將軍問題提供了對分布式共識問題的一種情景化描述,是分布式系統領域最復雜的模型。此外,它也為我們理解和分類現有的眾多分布式一致性協議和算法提供了框架。現有的分布式一致性協議和算法主要可分為兩類:
一類是故障容錯算法(CrashFaultTolerance,CFT),?即非拜占庭容錯算法,解決的是分布式系統中存在故障,但不存在惡意攻擊的場景下的共識問題。也就是說,在該場景下可能存在消息丟失,消息重復,但不存在消息被篡改或偽造的場景。一般用于局域網場景下的分布式系統,如分布式數據庫。屬于此類的常見算法有Paxos算法、Raft算法,、ZAB協議等。
一類是拜占庭容錯算法,可以解決分布式系統中既存在故障,又存在惡意攻擊場景下的共識問題。一般用于互聯網場景下的分布式系統,如在數字貨幣的區塊鏈技術中。屬于此類的常見算法有PBFT算法、PoW算法。
看完本文,你對這兩種解決方案有什么看法?歡迎在評論區跟我們討論!
Tags:RALERAGENNERDecentralized ActivismViberateAGEN幣RunEarner
繼7.2億代幣銷毀,三天三公告之后,FCoin又有新進展。2月17日晚上,張健在FCoin官網發布一篇名為《FCoin真相》的公告,對FCoin的現狀、原因以及后續計劃作出說明.
1900/1/1 0:00:00全球審計四巨頭之一,畢馬威會計事務所表示,加密貨幣市場需要改善其保護數字資產的方式,以使這個2,450億美元的行業保持持續增長.
1900/1/1 0:00:00在美聯儲主席杰羅姆·鮑威爾承認這個中央銀行發展區塊鏈的重要性之后,比特幣周二重返10,000美元。杰羅姆·鮑威爾強調美聯儲將大量投資用于數字貨幣開發之后,比特幣的價格周二上漲.
1900/1/1 0:00:002月份,加密市場總市值和主流加密通證價格處于下行狀態。受此影響,近期挖礦盈利能力較1月份有較大跌幅,挖礦行業的熱度下降.
1900/1/1 0:00:00作者:DanielGoldman自由軟件工程師、技術顧問、作家譯者:Emma、Snow?Lu校對:Samuel完整的EVM:Layer2虛擬機為了使Layer2智能合約計算保持無需信任.
1900/1/1 0:00:00記者:趙鵬 來源:北京日報 北京首張區塊鏈電子普通發票昨天在漢威國際廣場停車場開出,這意味著北京稅收服務管理首次踏入區塊鏈時代.
1900/1/1 0:00:00