以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

經典再敘:一文讀懂拜占庭將軍問題_NERA:HERA

Author:

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

拜占庭將軍問題(The Byzantine Generals Problem)提供了對分布式共識問題的一種情景化描述,由Leslie Lamport等人在1982年首次發表。論文《The Byzantine Generals Problem 》同時提供了兩種解決拜占庭將軍問題的算法:

口信消息型解決方案(A solution with oral message);

簽名消息型解決方案(A solution with signed message).

論文:

https://www-inst.eecs.berkeley.edu/~cs162/sp16/static/readings/Original_Byzantine.pdf

本文之后將詳細講述這兩種算法。事實上,拜占庭將軍問題是分布式系統領域最復雜的容錯模型, 它描述了如何在存在惡意行為(如消息篡改或偽造)的情況下使分布式系統達成一致。是我們理解分布式一致性協議和算法的重要基礎。

KingData監控:灰度ETC基金減持3021.33枚以太坊經典:據KingData數據顯示,灰度ETC基金減持3021.33枚以太坊經典,基金持倉總規模變為1225.12萬枚ETC。(注:灰度暫未開放贖回,小幅減持或因每股含幣量微調、扣減管理費所致。)[2021/9/28 17:11:06]

拜占庭將軍問題描述

拜占庭將軍問題描述了這樣一個場景:

圖1. 拜占庭將軍問題

拜占庭帝國(Byzantine Empire)軍隊的幾個師駐扎在敵城外,每個師都由各自的將軍指揮。將軍們只能通過信使相互溝通。在觀察敵情之后,他們必須制定一個共同的行動計劃,如進攻(Attack)或者撤退(Retreat),且只有當半數以上的將軍共同發起進攻時才能取得勝利。然而, 其中一些將軍可能是叛徒,試圖阻止忠誠的將軍達成一致的行動計劃。 更糟糕的是,負責消息傳遞的信使也可能是叛徒,他們可能篡改或偽造消息,也可能使得消息丟失。

為了更加深入的理解拜占庭將軍問題,我們以三將軍問題為例進行說明。當三個將軍都忠誠時,可以通過投票確定一致的行動方案,圖2展示了一種場景, 即General A,B通過觀察敵軍軍情并結合自身情況判斷可以發起攻擊,而General C通過觀察敵軍軍情并結合自身情況判斷應當撤退。 最終三個將軍經過投票表決得到結果為進攻:撤退=2:1, 所以將一同發起進攻取得勝利。對于三個將軍,每個將軍都能執行兩種決策(進攻或撤退)的情況下, 共存在6中不同的場景,圖2是其中一種,對于其他5中場景可簡單地推得,通過投票三個將軍都將達成一致的行動計劃。

動態 | 以太經典將在本月測試“亞特蘭蒂斯”升級的代碼:據coindesk消息,以太經典的開發人員正在加快測試升級區塊鏈網絡的計劃。在周四的開發者電話會議上,生態系統相關人員表示希望在今年夏天晚些時候看到被稱為“亞特蘭蒂斯”的系統升級。各方同意亞特蘭蒂斯的測試網激活時間從6月19日起延長至兩周,而不是在8月初。[2019/6/8]

圖2. 三個將軍均為忠誠的場景

當三個將軍中存在一個叛徒時,將可能擾亂正常的作戰計劃。圖3展示了General C為叛徒的一種場景,他給General A和General B發送了不同的消息,在這種場景下General A通過投票得到進攻:撤退=1:2,最終將作出撤退的行動計劃;General B通過投票得到進攻:撤退=2:1,最終將作出進攻的行動計劃。結果只有General B發起了進攻并戰敗。

圖3. 二忠一叛的場景

聲音 | 以太坊經典技術協調員:ETC開發團隊的規模增加了75%:以太坊經典實驗室的技術協調員Stevan Lohja發表一篇有關以太坊經典(ETC)2019年第一季度的幾個重要變化的博客。博客中談及ECIP-1054提案、也提到以太坊經典的開發團隊規模增加了75%等。ECIP-1054提案提議ETC網絡實施\"亞特蘭提斯\"(Atlantis)硬分叉,對ETC網絡進行包括EVM和協議在內的一系列升級。[2019/4/25]

事實上,對于三個將軍中存在一個叛徒的場景,想要總能達到一致的行動方案是不可能的。詳細的證明可參看Leslie Lamport的論文。此外,論文中給出了一個更加普適的結論:如果存在m個叛將,那么至少需要3m+1個將軍,才能最終達到一致的行動方案。

解決方案

Leslie Lamport在論文中給出了兩種拜占庭將軍問題的解決方案,即口信消息型解決方案(A solution with oral message)和簽名消息型解決方案(A solution with signed message)。

1、口信消息型解決方案

首先, 對于口信消息(Oral message)的定義如下:

動態 | 以太經典開發團隊以太坊聯邦成立Callisto網絡:12月20日消息,以太經典(ETC)的開發團隊以太坊聯邦(Ethereum Commonwealth)成立了Callisto網絡來應對以太經典生態系統及管理系統里存在的問題,及開發資金不足,財務不透明等問題。[2018/12/20]

A1. 任何已經發送的消息都將被正確傳達;

A2. 消息的接收者知道是誰發送了消息;

A3. 消息的缺席可以被檢測。

基于口信消息的定義,我們可以知, 口信消息不能被篡改但是可以被偽造。基于對圖3場景的推導,我們知道存在一個叛將時,必須再增加3個忠將才能達到最終的行動一致。為加深理解,我們將利用3個忠將1個叛將的場景對口信消息型解決方案進行推導。在口信消息型解決方案中,首先發送消息的將軍稱為指揮官,其余將軍稱為副官。對于3忠1叛的場景需要進行兩輪作戰信息協商,如果沒有收到作戰信息那么默認撤退。圖4是指揮官為忠將的場景,在第一輪作戰信息協商中,指揮官向3位副官發送了進攻的消息;在第二輪中,三位副官再次進行作戰信息協商,由于General A、B為忠將,因此他們根據指揮官的消息向另外兩位副官發送了進攻的消息,而General C為叛將,為了擾亂作戰計劃,他向另外兩位副官發送了撤退的消息。最終Commanding General, General A和B達成了一致的進攻計劃,可以取得勝利。

以太經典從高位回落 跌幅達16%:根據okex數據顯示,13日晚間11點,以太經典(ETC)價格達32.99美元。隨后價格下跌,14日凌晨2點15分ETC價格跌至27.50美元,跌幅達16%。現在價格收于29.71美元。[2017/12/14]

圖4. 指揮官為忠將的場景

圖5是指揮官為叛將的場景,在第一輪作戰信息協商中,指揮官向General A、B發送了撤退的消息,但是為了擾亂General C的決定向其發送了進攻的消息。在第二輪中,由于所有副官均為忠將,因此都將來自指揮官的消息正確地發送給其余兩位副官。最終所有忠將都能達成一致撤退的計劃。

圖5. 指揮官為叛將的場景

如上所述,對于口信消息型拜占庭將軍問題,如果叛將人數為m,將軍人數不少于3m+1,那么最終能達成一致的行動計劃。值的注意的是,在這個算法中,叛將人數m是已知的,且叛將人數m決定了遞歸的次數,即叛將數m決定了進行作戰信息協商的輪數,如果存在m個叛將,則需要進行m+1輪作戰信息協商。這也是上述存在1個叛將時需要進行兩輪作戰信息協商的原因。

2、簽名消息型解決方案

同樣,對簽名消息的定義是在口信消息定義的基礎上增加了如下兩條:

A4. 忠誠將軍的簽名無法偽造,而且對他簽名消息的內容進行任何更改都會被發現;

A5. 任何人都能驗證將軍簽名的真偽。

基于簽名消息的定義,我們可以知道,簽名消息無法被偽造或者篡改。為了深入理解簽名消息型解決方案,我們同樣以3三將軍問題為例進行推導。 圖6是忠將率先發起作戰協商的場景,General A率先向General B、C發送了進攻消息,一旦叛將General C篡改了來自General A的消息,那么General B將將發現作戰信息被General C篡改,General B將執行General A發送的消息。

圖6. 忠將率先發起作戰協商

圖7是叛將率先發起作戰協商的場景,叛將General C率先發送了誤導的作戰信息,那么General A、B將發現General C發送的作戰信息不一致,因此判定其為叛將。可對其進行處理后再進行作戰信息協商。

圖7. 叛將率先發起作戰協商

簽名消息型解決方案可以處理任何數量叛將的場景。

總 結

在分布式系統領域, 拜占庭將軍問題中的角色與計算機世界的對應關系如下:

將軍, 對應計算機節點;

忠誠的將軍, 對應運行良好的計算機節點;

叛變的將軍, 被非法控制的計算機節點;

信使被殺, 通信故障使得消息丟失;

信使被間諜替換, 通信被攻擊, 攻擊者篡改或偽造信息。

如上文所述,拜占庭將軍問題提供了對分布式共識問題的一種情景化描述,是分布式系統領域最復雜的模型。此外, 它也為我們理解和分類現有的眾多分布式一致性協議和算法提供了框架。現有的分布式一致性協議和算法主要可分為兩類:

一類是故障容錯算法(Crash Fault Tolerance, CFT), 即非拜占庭容錯算法,解決的是分布式系統中存在故障,但不存在惡意攻擊的場景下的共識問題。也就是說,在該場景下可能存在消息丟失,消息重復,但不存在消息被篡改或偽造的場景。一般用于局域網場景下的分布式系統,如分布式數據庫。屬于此類的常見算法有Paxos算法、Raft算法,、ZAB協議等。

一類是拜占庭容錯算法,可以解決分布式系統中既存在故障,又存在惡意攻擊場景下的共識問題。一般用于互聯網場景下的分布式系統,如在數字貨幣的區塊鏈技術中。屬于此類的常見算法有PBFT算法、PoW算法。

看完本文,你對這兩種解決方案有什么看法?歡迎在評論區跟我們討論!

Tags:RALERANERAGENEURALS幣HERALineraImage Generation AI

火必下載
印尼海關加入IBM區塊鏈平臺TradeLens_TRA:加密貨幣

作者:Samuel Haig   |   編譯者:Maya該公告使印尼海關部門成為加入TradeLens聯盟的第11個政府機構—其他政府方面的成員包括泰國.

1900/1/1 0:00:00
區塊鏈戰"疫"正酣 20項應用已經落地_RAP:比特幣

在抗"疫"方面,區塊鏈技術雖正處在發展階段,并未缺席。據互鏈脈搏觀察顯示,僅2月1日至2月14日期間,有20個協助疫情防控工作的區塊鏈應用上線,其中也不乏金融機構的身影.

1900/1/1 0:00:00
交易所Deribit完成10%股份出售 估值上億美元_ITA:Bitrace Token

The Block從某位相關投資者處獲悉,巴拿馬加密貨幣衍生品交易所Deribit已完成了10%的股份出售。10%的股份將按比例從該交易所的現有股東中釋出.

1900/1/1 0:00:00
金色深度丨布隆伯格 vs. 特朗普 “加密貨幣”成美總統競選利器_加密貨幣:加密貨幣總市值為1963億美元

金色財經 區塊鏈2月19日訊  美國總統候選人邁克爾?布隆伯格(Michael Bloomberg)提議在最新的金融監管計劃中為加密貨幣創建監管框架.

1900/1/1 0:00:00
2.28早間行情:BTC接下來這樣走 該買入這個幣_BTC:brc20幣價值

BTC出現約4826.8枚大額轉賬,價值約2.26億美元:據KingData數據監控,12月14日05:23,4,826.8枚BTC從129d開頭的未知錢包地址轉入1CDt開頭的未知錢包地址.

1900/1/1 0:00:00
DeFi市盈率:DeFi代幣的估值_EFI:MKR

(一雙皮鞋,梵高) 前言:在當前加密領域,能產生現金流的項目還不多,除了中心化的交易所和主流公鏈之外,能產生實質現金流的主要是一些DeFi項目.

1900/1/1 0:00:00
ads