fluencelabs/tendermint
1
0
Fork 0
mirror of https://github.com/fluencelabs/tendermint synced 2025-04-25 14:52:17 +00:00
Code Issues Projects Releases Wiki Activity
tendermint/docs/spec/consensus/consensus.md
Ethan Buchman b8f340afd0 docs/spec: some organizational cleanup
2018-06-15 22:56:26 -07:00

494 B
Raw Blame History

We are working to finalize an updated Tendermint specification with formal proofs of safety and liveness.

In the meantime, see the description in the docs.

There are also relevant but somewhat outdated descriptions in Jae Kwon's original whitepaper and Ethan Buchman's master's thesis.