ビザンチン将軍問題
Byzantine General Problem
ビザンチン将軍問題とは、信頼できないノードが参加するインターネットのようなネットワークにおいて、個々または連合のノードが虚偽の報告を行うことを前提にどのように合意形成を行えばいいかという問題をモデル化したコンピュータサイエンス上の課題を言います。
ビットコインの仕組みでは、互いに信頼しないノードで構築されているにもかかわらず、プルーフオブワークによる競争と、一番長いブロックチェーンが正しいとする特徴により、歴史上初めて実用的な方法でビザンチン将軍問題を解いたと言われています。