ビザンチン将軍の問題とは何ですか?

ビザンチン将軍の問題は、コンピュータ サイエンスの重要な問題、つまり地理的に分散した独立したノードで構成されるコンピュータ ネットワーク内で合意を形成することは可能か、という問題を扱う思考実験です。

この問題は 1982 年に SRI 国際研究所の研究者によって提案されました。

それは次のようになります。多くのビザンチンの将軍が都市を包囲しています。相互にメッセンジャーを送信することによってのみ通信できます。将軍たちは都市を攻撃するか撤退するかという共通の行動計画について合意する必要がある。しかし、将軍の中には裏切り者であり、合意形成に積極的に反対する者もいます。彼らの数も正体も不明です。

この問題が提起する疑問は、裏切り者の干渉に関係なく、共通の計画を立てるために将軍たちがどのような意思決定アルゴリズムを使用すべきか、またそのようなアルゴリズムがそもそも存在するのかということである。

研究者自身の分析によると、そのようなシステムは確かに実現可能ですが、忠実な将軍の数は厳密に3分の2を超えなければなりません。たとえば、3 人の将軍がいて、そのうちの 1 人が裏切り者である状況では、忠誠心のある将軍たちが合意に達することができるという保証は決してありません。

この問題は、仮想通貨が本質的に分散コンピュータ システムであるため、この問題に非常に関連しています。仮想通貨は、相互および中央機関から独立したトランザクション処理ノードで構成され、リモートでのみ通信できます。彼らは、どの取引がいつ行われたかについて合意に達する必要がある「将軍」です。

ノードは選択または偶然に、トランザクションに関する不完全なデータを提供する可能性があるため、その情報を整理する必要があります。ビットコイン (BTC) やその他の暗号通貨は、プルーフ オブ ワーク アルゴリズムやプルーフ オブ ステーク アルゴリズムなどの技術ソリューションを通じてこの問題を解決します。

「ビザンチン フォールト トレランス (BFT)」を参照してください。