拜占庭將軍問題是一個共識問題: 首先由Leslie Lamport與另外兩人在1982年提出，被稱為The Byzantine Generals Problem或者Byzantine Failure。核心描述是軍中可能有叛徒，卻要保證進攻一致，由此引申到計算領域，發展成了一種容錯理論。隨著比特幣的出現和興起，這個著名問題又重入大眾視野。

關於拜占庭將軍問題，一個簡易的非正式描述如下：

拜占庭帝國想要進攻一個強大的敵人，為此派出了10支軍隊去包圍這個敵人。這個敵人雖不比拜占庭帝國，但也足以抵禦5支常規拜占庭軍隊的同時襲擊。基於一些原因，這10支軍隊不能集合在一起單點突破，必須在分開的包圍狀態下同時攻擊。他們任一支軍隊單獨進攻都毫無勝算，除非有至少

應該明確的是，拜占庭將軍問題中並不去考慮通訊兵是否會被截獲或無法傳達資訊等問題，即訊息傳遞的通道絕無問題。Lamport已經證明了在訊息可能丟失的不可靠通道上試圖通過訊息傳遞的方式達到一致性是不可能的。所以，在研究拜占庭將軍問題的時候，我們已經假定了通道是沒有問題的，並在這個前提下，去做一致性和容錯性相關研究。

拜占庭容錯演算法

我們已經瞭解了拜占庭將軍問題的場景，並且明確了這個問題的解決是建立在通訊兵可以正確的傳達資訊的基礎上的，即通道絕對可信。接下來，我們將探討拜占庭將軍問題的實質。

 拜占庭容錯演算法是解決在同步網路，任意失敗模型情況下達成一致性共識。

拜占庭將軍問題實質

回顧問題，一群將軍想要實現某一個目標（一致進攻或者一致撤退），但是單獨行動行不通，必須合作， 達成共識；由於叛徒的存在，將軍們不知道應該如何達到一致。注意，這裡“一致性”才是拜占庭將軍問題探討的內容，如果本來叛徒數量就已經多到了問題不可解的地步，這個就是“反叛”的問題了；同時，我們的目標是忠誠的將軍能夠達成一致，對於這些忠誠的將軍來說，進攻或者撤退都是可以的，只要他們能夠達成一致就行。

但是，光靠“一致”就可以解決問題嗎？考慮一下，如果萬事俱備，客觀上每個忠誠的將軍只要進攻了就一定能夠勝利，但是卻因為叛徒的存在他們都“一致的”沒有進攻；反之，條件不利，將軍們不應該進攻，但是卻因為叛徒的存在所有人都“一致的”進攻了。

可以發現，只有“一致性”是不足以解決拜占庭將軍問題的，我們還需要提出一個“正確性”要求。這個要求是值得斟酌的，因為如果客觀來看或許會有“絕對正確的”判斷，但是針對每一個將軍，大家的判斷或許都不相同，我們如何定義“正確”呢？我們或許可以簡單地說，正確就是每個忠誠的將軍都正確的表達了自己的意思，不會因為叛徒讓別的將軍認為忠誠的將軍是叛徒而不採用他傳達的訊息。

至此，我們將拜占庭將軍問題簡化成了，所有忠誠的將軍都能夠讓別的將軍接收到自己的真實意圖，並最終一致行動；而形式化的要求就是，“一致性”與“正確性”。

如果將問題推廣開來，可以發現針對一致性和正確性的演算法並不要求命令必須是“進攻/撤退”或是“1/0”，而可以是“傳送訊息1/傳送訊息2/待機”或“x/y/z/w”，這意味著拜占庭將軍問題演算法可以為多種分散式系統提供啟發，比如電力系統或網路系統。

由此可見，這個問題說到底是一個關於一致性和正確性的演算法問題，這個演算法是針對的是忠誠的將軍，因為叛徒可以做出任何超出約定的判斷。我們就是要在有叛徒的干擾下，找到一個抗干擾的演算法。要解決這個演算法問題，我們需要將形式化要求具體化。

口頭協議推演

下面的這個截圖是從Lamport發表的論文中擷取的：

對於這個演算法需要說明的是：

(1) 在第一輪 將軍會把訊息傳送給所有的副官，第i個副官收到的記為 Vi。如 1(這裡代表的是Attack)

(2) 在第二輪裡面，Li(即第i個副官)會懷疑將軍發來的訊息Vi是對還是錯，於是他會問其餘的副官。這樣他就會得到剩下的(n-2)個副官的值。 i從1到n-1，所以每個副官都會得到剩餘的n-2個副官手裡的Vi。在這一步驟裡，忠誠的副官j會直接將自己的 Vj傳送給其它人。叛徒則會發假訊息。

在n=7,m=2的時候 如果將軍是忠臣的話，那麼在第二輪忠誠的副官確實已經可以判斷出要做的決定，因為他們會收到(1 1 1 0 0 )再加上將軍發來的1就是 1 1 1 1 0 0 但是這個演算法是遞迴的所有必須要到第三輪。並且如果將軍是個叛徒的話，那麼第二輪有情形是做不出決定的。

這裡對進入第三輪的解釋是，如L1收到其它L2~L6發來的Vj, 但是他要懷疑準確性，比如L1會想L2發給自己是否是正確的呢？那麼就進入第三輪進行投票。

(3)在第三輪裡面，接著(2)中後面的問題。L1會依次詢問L3,4,5,6 ，問他們上一輪L2給他們發了什麼，然後L1會得到在(2)中 L2->L3, L2->L4,L2->L5, L2->L6的值 這樣再結合自己的L2->L1的值，從這5個裡面用majority函式投出決定得到L2發給自己的訊息值。依次再進行L3,L4,L5,L6在第二輪中發給自己的訊息的確認。

這樣L1就完成了第二輪的確認。之後L1再從第一步中將軍發給自己的vi和第二輪中確定的5個值中投出自己的決定。

其餘的L2，L3.等等也進行同樣的步驟。

如果還是沒清晰的話，直接看下面的過程：

這裡需要注意的是：Lamport提出的容錯的兩個條件

IC1：即所有的忠誠的副官要遵守同一個命令，即達成一致；

IC2：假如將軍是忠誠的，那麼每一個忠誠的副官都應該按照將軍的意思行事。

這裡將軍是叛徒，所以只要滿足IC1條件即可。

Step1 : C給L1~L6 依次發 A R A R A X  （A，R代表攻擊和撤退，這裡因為C是叛徒，所以可以隨便發給L1-L5訊息，這裡只是一個例子，可以用其他的值，只要最後滿足IC1就可以）

Step2： L1為例，L1會懷疑將軍發給自己的訊息，於是會問L2-L6

Step3：其實在第三步中 L1會依次確認在step2中, L2~L6發給自己的資訊. 例如確認L2時 會問L3-L6,在Step2中L2發給你們了什麼

最後得到 R, R, R,X （因為L6這時候肯定又說謊） 再結合自己的R , L1確定在Step2中收到L2發來的是R，之後又確認了L3-L6。大家可以自己在草稿紙上畫出。

其實因為L1-L5都是忠誠，他們不會在Step2中撒謊，所以只需投票L6即可 ，(A R A R A )是L6發給L1-L5的資訊，最後投出發的是A ， 將A修改到step2中L1-L5收到的

資訊中其餘的資訊可以不用改。

最後得到L1-L5均是 4個A， 2個R。 以L1為例=R  A  R  A  A  A 

即L1~L5達成了一致。

http://www.blockchainbrother.com/article/7