いまさらながらビザンチン将軍問題を整理し、proof-of-workとどのように絡んでいるかを書いてみました。派生系の問題なども色々ありますが、起源となった問題をまとめています。 ビザンチン将軍問題とは Lamportの解法 - Oral Messageアルゴリズム 前提条件 …