BFT技能即拜占庭容錯技能

鏈客，專爲開發者而生，有問必答！

此文章來自鏈客區塊鏈技術問答社區，未經容許拒絕轉載。

BFT技能即拜占庭容錯技能，是一類分佈式計算範疇的容錯技能。稱號拜占庭是一個泛指，它表明着計算機範疇，在這個範疇內會有不少問題，如硬件過錯、網絡擁堵或停止以及遭到歹意進犯等等，形成計算機網絡可能出現的混亂。BFT技能即是爲了使混亂狀態抵達共同性。

拜占庭將軍問題

BFT技能的由來源於一個叫拜占庭將軍問題。

拜占庭坐落現在的土耳其的伊斯坦布爾，是東羅馬帝國的首都，因爲當時拜占庭羅馬帝國疆土遼闊，每支戎行的駐地分隔很遠，將軍們只能靠信使傳遞音訊。發做戰爭時，將軍們有必要制定統一的行動方案。但是，這些將軍中有叛徒，叛徒指望通過影響統一行動方案的制定與傳播，損壞忠實的將軍們共同的行動方案。所以，將軍們有必要有一個預約的方法協議，使一切忠實的將軍可以達到共同，並且少許幾個叛徒不能使忠實的將軍作出過錯的方案。也即是說，拜占庭將軍問題的本質即是要尋覓一個方法，使得將軍們能在一個有叛徒的非信賴環境中創建對戰鬥方案的共同，拜占庭問題就此構成。

拜占庭將軍問題（Byzantine Generals Problem），首先由Leslie Lamport與另外兩人在1982年提出，很簡單的故事模型，卻困擾了計算機科學家們數十年。

咱們將拜占庭將軍問題簡化一下，一切忠實的將軍都可以讓別的將軍接納到本身的實在乎圖，並最終共同行動；而形式化的要求即是，「共同性」與「正確性」。

共同性：每一個忠實的將軍有必要收到相同的指令值vi（vi是第i個將軍的指令）

正確性：假如第i個將軍是忠實的，那麼他發送的指令和每一個忠實將軍收到的vi相同。

Lamport 對拜占庭將軍的問題的研究代表，當 n > 3m 時，即叛徒的個數 m 小於將軍總數的 n 的 1/3 時，通過口頭同步通信（假定通信是牢靠的），可以結構一塊兒滿意「共同性」和「正確性」的解決方法，即將軍們可以達到共同的指令。

BFT理論算法

BFT即拜占庭容錯體系，英文全稱是Byzantine Fault Tolerance，是一種理論上解決拜占庭問題的方法，並不是有用，不過基於BFT理論延伸出了其餘共同機制。

區塊鏈網絡的記帳共同和拜占庭將軍的問題是類似的。參與共同記帳的每個節點至關於將軍，節點之間的音訊傳遞至關於信使，某些節點可能因爲各類緣由而產生過錯的信息傳遞給其餘節點。通常這些發做故障的節點被稱爲拜占庭節點，而正常的節點即爲非拜占庭節點。

假定分佈式體系具備n臺節點，並假定整個體系拜占庭節點不超過m臺（n ≥ 3m + 1），拜占庭容錯體系需求滿意以下兩個條件：

一切非拜占庭節點使用相同的輸入信息，產生相同的結果。在區塊鏈體系中，可以理解爲，隨機數相同、區塊算法相同、原帳本相同的時分，計算結果相同。

假如輸入的信息正確，那麼一切非拜占庭節點有必要接納這個音訊，並計算相應的結果。在區塊鏈體系中，可以理解爲，非拜占庭節點需求對客戶的懇求進行計算並生成區塊。

另外，拜占庭容錯體系需求達到以下兩個目標：

安全性：任何現已完成的懇求都不會被更改，它可以在之後懇求看到。在區塊鏈體系中，可以理解爲，現已生成的帳本不行篡改，並且可以被節點隨時檢查。

活性：可以承受並且履行非拜占庭客戶端的懇求，不會被任何因素影響而致使非拜占庭客戶端的懇求不能履行。在區塊鏈體系中，可以理解爲，體系需求繼續生成區塊，爲用戶記帳，這主要靠挖礦的激勵機制來保證。

在剖析拜占庭問題的時分，假定信道是可信的。拓寬開來，在拜占庭容錯體系，遍佈採用的假定條件包含：

拜占庭節點的行爲可以是任意的，拜占庭節點之間可以共謀；

節點之間的過錯是不相關的；

節點之間通過異步網絡鏈接，網絡中的音訊可能丟失、亂序並延時抵達，但大部分協議假定音訊在有限的時間裏能傳抵達目的地；

節點之間傳遞的信息，第三方可以嗅探到，但是不能篡改、假造信息的內容和損壞信息的完整性。