Consensus algorithmのcorrectness Agreement: all nodes in N decide on the same value Validity: the value that is decided upon must have been proposed by some node in N Termination: all nodes eventually decide 関連 ブロックチェーンのコンセンサスアルゴリズム