mirror of
https://github.com/tendermint/tendermint.git
synced 2026-09-20 15:04:22 +00:00
21 lines
497 B
Markdown
21 lines
497 B
Markdown
# Proposer-Based Timestamps
|
|
|
|
This section describes a version of the Tendermint consensus protocol,
|
|
which uses proposer-based timestamps.
|
|
|
|
## Contents
|
|
|
|
- [Proposer-Based Time][main] (entry point)
|
|
- [Part I - System Model and Properties][sysmodel]
|
|
- [Part II - Protocol Specification][algorithm]
|
|
- [TLA+ Specification][proposertla]
|
|
|
|
|
|
[algorithm]: ./pbts-algorithm_001_draft.md
|
|
|
|
[sysmodel]: ./pbts-sysmodel_001_draft.md
|
|
|
|
[main]: ./pbts_001_draft.md
|
|
|
|
[proposertla]: ./tla/TendermintPBT_001_draft.tla
|