https://123dok.net/document/yd73m7jy-correctness-and-fairness-of-tendermint-core-blockchains.html