バシリスク将軍問題 Byzantine Generals Problem

“拜占庭将军問題”は、コンピュータシステムが一つまたは複数の部品の故障に直面したときに直面する課題を説明するための用語です。これらの故障は、システム内で誤った情報を伝達し、その性能に影響を与える可能性があります。この名前は、1982年の研究論文に由来し、その論文ではこの問題を歴史的な軍事シナリオと比較しています。

このシナリオを想像してください：拜占庭軍のいくつかの師団が敵の都市を攻撃する計画を立てており、それぞれの師団には将軍がおり、彼らは使者を通じてのみ通信できます。将軍たちは、次の2つの条件を満たす計画について一致しなければなりません：1）信頼できるすべての将軍が同じ計画に従うこと；2）少数の悪意のある者が善良な者に有害な計画を従わせることを防ぐこと。

主な課題は、将軍たちが安全に情報を共有し、一致した意見を形成する方法です。彼らが一致しない場合、攻撃は失敗する可能性があります。もし狡猾な将軍が故意に誤った情報を提供し、他の者を危険にさらす場合も問題です。

ブロックチェーンのような分散型コンピュータネットワークでは、各参加者（ノード）は将軍のような役割を果たします。システムを正常に動作させるためには、大多数のノードが同じ指示に従い、一致させる必要があります。もし一部のノードが故障したり悪意を持ったりすると、拜占庭誤差（Byzantine Fault）が発生します。これらの誤差にもかかわらず正常に動作するシステムは、拜占庭耐性（Byzantine Fault Tolerance、BFT）を持つと呼ばれます。

ビットコインは、この問題を解決するために「プルーフ・オブ・ワーク」（proof-of-work）と呼ばれる方法を使用しています。各“将軍”（ノード）が計画を決定するとき、彼らはコンピュータに難しい問題を処理させます。彼らのうちの一人が10分以内に解決策を見つけると予想されます。解決策が見つかると、そのノードは他のノードと共有し、自分の計画を添付します。その後、他のノードはこの新しい計画に従います。

ワーク・オブ・ワーク証明チェーンを検査することで、各ノードはどれだけの計算能力が使われたかを見ることができ、多くのコンピュータがその計画に同意します。したがって、最も長いワーク・オブ・ワーク証明チェーンを持つ計画を信頼し、それに従うことができます。なぜなら、多くの人がそれを支持しているからです。 **$BICO **$TRB **$CBK **