「「ビザンチン将軍問題」とは何か」第69号 - NII Today / 国立情報学研究所

仮想通貨の不正使用とビザンチン将軍問題 ビットコインを仮想通貨として利用するには、取引内容の改ざんや二重使用などの不正を防がなければならない。こうした不正は、情報学やコンピュータサイエンスでは「ビザンチン将軍問題」（Byzantine Generals Problem）と呼ばれる問題とよく似ている。 さて、ビザンチン将軍問題とは、2014年にチューリング賞を受賞した数学者のレスリー・ランポート博士（Leslie Lamport）らが考案した分散システム上の信頼性に関わる問題である［1］。なお、ランポート博士はLaTeX（電子組版 システムTeX 用の論文作成用マクロパッケージ）の作成者として有名だが、研究者としての専門は分散システムの基本アルゴリズムである。 ビザンチン将軍問題の舞台は、ビザンチン帝国の将軍たちがそれぞれ部隊を率いて敵を包囲している戦場である（図1）。各部隊はそれぞれ離れた