mirrors/tendermint
1
0
Fork 0
mirror of https://github.com/tendermint/tendermint.git synced 2026-05-29 10:30:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

PBTS spec: link to Github project with related issues

Browse Source
This commit is contained in:
Daniel Cason
2022-05-25 12:34:39 +02:00
parent c251a59d0e
commit be7e3ddada
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
spec/consensus/proposer-based-timestamp/README.md
View File

@@ -123,6 +123,7 @@ The full solution is detailed and formalized in the [Protocol Specification][alg
- [System Model and Properties][sysmodel]
- [Protocol Specification][algorithm]
- [TLA+ Specification][proposertla]
- Collection of PBTS-related issues on [Github][project]
[main_v1]: ./v1/pbts_001_draft.md
@@ -136,3 +137,5 @@ The full solution is detailed and formalized in the [Protocol Specification][alg
[bfttime]: ./bft-time.md
[arXiv]: https://arxiv.org/pdf/1807.04938.pdf
[project]: https://github.com/orgs/tendermint/projects/10