github.com/KYVENetwork/cometbft/v38@v38.0.3/spec/consensus/proposer-based-timestamp/README.md (about) 1 # Proposer-Based Timestamps 2 3 This section describes a version of the Tendermint consensus algorithm, adopted in CometBFT, 4 which uses proposer-based timestamps. 5 6 ## Contents 7 8 - [Proposer-Based Time][main] (entry point) 9 - [Part I - System Model and Properties][sysmodel] 10 - [Part II - Protocol Specification][algorithm] 11 - [TLA+ Specification][proposertla] 12 13 14 [algorithm]: ./pbts-algorithm_001_draft.md 15 16 [sysmodel]: ./pbts-sysmodel_001_draft.md 17 18 [main]: ./pbts_001_draft.md 19 20 [proposertla]: ./tla/TendermintPBT_001_draft.tla