# 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
# 関連
- [[ブロックチェーンのコンセンサスアルゴリズム]]
- [Distributed Consensus Reading List](https://github.com/heidihoward/distributed-consensus-reading-list)