基礎技術 合意形成の仕組み:PBFT
多くの司令官がそれぞれ部隊を率いて、敵の都市を包囲している場面を思い浮かべてください。この包囲網を成功させるには、司令官たちが連絡を取り合い、全員が同じ行動、つまり同時に攻撃するか、それとも同時に撤退するかを決めなければなりません。連絡手段は伝令のみです。しかし、中には裏切り者の司令官が潜んでいるかもしれません。この裏切り者は、他の司令官に偽の情報を伝え、混乱させようとします。例えば、ある司令官には攻撃を促す一方で、別の司令官には撤退を指示するといった具合です。このような状況下で、どのようにして正しい合意を形成し、全員の行動を一つにまとめることができるでしょうか?これが、まさしくビザンチン将軍問題と呼ばれる難題です。この問題は、伝令が途中で敵に捕まり、情報が伝わらなかったり、改ざんされたりする可能性も考慮に入れています。さらに、裏切り者の司令官が偽の伝令を送り込む可能性も想定しなければなりません。このような、情報伝達の遅延や途絶、そして悪意ある参加者の存在といった困難な条件下でも、正しい合意を導き出す仕組みが必要となります。このビザンチン将軍問題は、仮想通貨を支える技術である記録の鎖にも深く関わっています。記録の鎖は、世界中に散らばった多数の計算機が情報を共有し、取引記録を管理する仕組みです。ここでも同様に、一部の計算機が故障したり、悪意を持って偽の情報発信したりする可能性があります。ビザンチン将軍問題を解決する技術は、このような状況下でも記録の鎖全体の整合性を保ち、安全に運用するために不可欠なのです。まさに、信頼できない環境において、信頼を築き上げるための重要な鍵と言えるでしょう。
