Spec/consensus: references (links) to BFTTime updated

This commit is contained in:
Daniel Cason
2022-05-24 18:28:31 +02:00
committed by Daniel
parent 3c88e2a0bc
commit 35abab42c4
4 changed files with 4 additions and 4 deletions
@@ -146,7 +146,7 @@ The full solution is detailed and formalized in the [Protocol Specification][alg
[proposertla]: ./tla/TendermintPBT_001_draft.tla
[bfttime]: https://github.com/tendermint/tendermint/blob/master/spec/consensus/bft-time.md
[bfttime]: ./bft-time.md
[arXiv]: https://arxiv.org/pdf/1807.04938.pdf
[issue353]: https://github.com/tendermint/spec/issues/353
@@ -123,5 +123,5 @@ Back to [main document][main].
[sysmodel]: ./pbts-sysmodel_002_draft.md
[bfttime]: https://github.com/tendermint/tendermint/blob/master/spec/consensus/bft-time.md
[bfttime]: ./bft-time.md
[arXiv]: https://arxiv.org/pdf/1807.04938.pdf
@@ -261,7 +261,7 @@ This specification describes the changes needed to be done to the Tendermint con
[proposertla]: ../tla/TendermintPBT_001_draft.tla
[bfttime]: ../../bft-time.md
[bfttime]: ../bft-time.md
[tlatender]: https://github.com/tendermint/spec/blob/master/rust-spec/tendermint-accountability/README.md
[lcspec]: ../../light-client/
[arXiv]: https://arxiv.org/abs/1807.04938
+1 -1
View File
@@ -14,7 +14,7 @@ Specification of the Tendermint consensus protocol.
- [Consensus Paper](./consensus-paper) - Latex paper on
[arxiv](https://arxiv.org/abs/1807.04938) describing the
core Tendermint consensus state machine with proofs of safety and termination.
- [BFT Time](./bft-time.md) - How the timestamp in a Tendermint
- [Block Time](./time.md) - How the Time field in a Tendermint
block header is computed in a Byzantine Fault Tolerant manner
- [Creating Proposal](./creating-proposal.md) - How a proposer
creates a block proposal for consensus