拜占庭將軍問題
拜占庭將軍的問題是什麼?
拜占庭將軍問題是一個思想實驗,涉及電腦科學的一個關鍵問題:是否有可能在由獨立的、地理分佈的節點組成的電腦網路中形成共識?
這個問題是由SRI國際研究所的研究者在1982年提出的。
故事是這樣的:有許多拜占庭將軍圍攻一座城市。他們只能透過發送信使來相互交流。將軍們必須商定一個共同的行動計畫:是攻城還是撤退。然而,有些將軍卻叛逆,積極反對共識的形成;他們的人數和身分未知。
這個問題提出的問題是,將軍們應該使用什麼決策演算法來制定共同計劃——無論叛徒的干擾如何——以及這樣的演算法是否存在。
根據研究者自己的分析,這樣的製度確實可行,但忠誠將軍的數量必須嚴格超過三分之二。比如說,三將,其中一人叛將,忠誠的人就不能保證他們能夠達成共識。
這個問題與加密貨幣高度相關,因為它們本質上是分散式電腦系統:它們由彼此獨立且與任何中央機構獨立的交易處理節點組成,並且只能遠端通訊。他們是需要就哪些交易以及何時發生共識的「將軍」。
節點有可能有意或無意地提供有關交易的錯誤數據,必須對它們的資訊進行整理。比特幣(BTC)和其他加密貨幣透過工作量證明和權益證明演算法等技術解決方案解決了這個問題。
請參閱拜占庭容錯 (BFT)。