ビザンチン フォールト トレランス (BFT) とは何ですか?

ビザンチン将軍問題は、コンピューター サイエンス、特に分散コンピューター システム (暗号通貨がその一例) に関する重要な問題の 1 つを示す有名な抽象概念です。

数人のビザンチン将軍が敵都市の周囲にキャンプを張り、使者を送ることによってのみ互いに​​通信していると想像してみてください。彼らは都市を攻撃するか撤退するかを集団で決定しなければなりません。ただし、将軍の中には裏切り者もおり、合意形成に積極的に反対する可能性があります。どの将軍が裏切り者であるかについての入手可能な知識に関係なく、忠実な将軍が共通の行動計画を決定することを保証するシステムを構築することは可能でしょうか?

問題を徹底的に分析すると、そのようなアルゴリズムが可能であることがわかりましたが、それは将軍の 3 分の 2 以上が忠誠を誓っている場合に限られます。

ビットコイン (BTC) などの分散型暗号通貨は、本質的には分散型コンピューター システムです。そのネットワークは、トランザクションを処理してブロックチェーンの最後に追加するために競合する、独立した個人または組織によって運営される個々のノードで構成されています。ノードが地理的に分離されており、互いに独立しているため、または中央機関からも独立しているため、どのノードがトランザクションに関する不完全な情報を提供しているかを、悪意があるか偶然であるかを確実に知ることは不可能です。

ビザンチン フォールト トレランスとは、偶然または意図的に一部のノードが残りのノードと一致しないという事実に関係なく、この問題を克服し、一貫してコンセンサスを形成できる分散コンピュータ システムの特性を指します。これは、ビットコインのプルーフ・オブ・ワーク・アルゴリズムなどの技術的ソリューションによって実現できますが、これはノードの 3 分の 2 以上がシステムに忠実なままである場合に限られます。