Mukan Erkin Törük
ef24c0b67e
Some checks are pending
docker-build-cometbft / vars (push) Waiting to run
docker-build-cometbft / build-images (amd64, ubuntu-24.04) (push) Blocked by required conditions
docker-build-cometbft / build-images (arm64, ubuntu-24.04-arm) (push) Blocked by required conditions
docker-build-cometbft / merge-images (push) Blocked by required conditions
docker-build-e2e-node / vars (push) Waiting to run
docker-build-e2e-node / build-images (amd64, ubuntu-24.04) (push) Blocked by required conditions
docker-build-e2e-node / build-images (arm64, ubuntu-24.04-arm) (push) Blocked by required conditions
docker-build-e2e-node / merge-images (push) Blocked by required conditions
20 lines
519 B
Markdown
20 lines
519 B
Markdown
# Proposer-Based Timestamps
|
|
|
|
This section describes a version of the Tendermint consensus algorithm, adopted in CometBFT,
|
|
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
|