https://entekhab.net/tendermint-algorithm/