You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Kukovec f8c4ec38ec
Apalache annotations (#398)
3 years ago
..
tla Apalache annotations (#398) 3 years ago
README.md Update README.md (#373) 3 years ago
pbts-algorithm_001_draft.md PBTS: new minimal set of changes in consensus algorithm (#369) 3 years ago
pbts-algorithm_002_draft.md PBTS: new system model and problem statement (#375) 3 years ago
pbts-sysmodel_001_draft.md PBTS: new system model and problem statement (#375) 3 years ago
pbts-sysmodel_002_draft.md PBTS: new system model and problem statement (#375) 3 years ago
pbts_001_draft.md PBTS: new system model and problem statement (#375) 3 years ago

README.md

Proposer-Based Timestamps

This section describes a version of the Tendermint consensus protocol, which uses proposer-based timestamps.

Contents