Commit Graph

94 Commits

Author SHA1 Message Date
Kukovec
e8d239c64a readme update 2 2022-05-31 16:38:31 +02:00
Kukovec
fefc49fc10 readme update 2022-05-31 16:28:31 +02:00
Kukovec
ae786b6751 More precise notes 2022-05-31 16:22:24 +02:00
Kukovec
8a56b81c18 experiments 2022-05-31 16:20:49 +02:00
Kukovec
24ea13790d PR comments 2022-05-31 15:45:54 +02:00
Daniel Cason
fcd560282f Merge branch 'main/pbts' of github.com:tendermint/tendermint into main/pbts 2022-05-25 12:36:18 +02:00
Daniel Cason
be7e3ddada PBTS spec: link to Github project with related issues 2022-05-25 12:34:39 +02:00
Daniel Cason
387c8570fa PBTS: added deprecation note on BFTTime documentation 2022-05-24 18:28:31 +02:00
Daniel Cason
0fd04d45bf PBTS spec: fixing and/or removing broken links 2022-05-24 18:28:31 +02:00
Daniel Cason
35abab42c4 Spec/consensus: references (links) to BFTTime updated 2022-05-24 18:28:31 +02:00
Daniel Cason
3c88e2a0bc Spec: outdated BFTTime documentation removed
* The file was actually moved to the PBTS spec repository
2022-05-24 18:28:31 +02:00
Daniel Cason
d83dd53825 Spec: consensus/block Time initial specification 2022-05-24 18:28:31 +02:00
Daniel Cason
455ad37d4e PBTS: using proper Markdown subscripts in spec 2022-05-24 18:28:31 +02:00
Daniel Cason
e9e2a0c63f PBTS: redundant not changes in algorithm removed 2022-05-24 18:28:31 +02:00
Daniel Cason
798bd3c4c6 PBTS: changes in arXiv algorithm made more clear 2022-05-24 18:28:31 +02:00
Daniel Cason
e6d1f7d96e PBTS: using proper Markdown subscripts in spec [2] 2022-05-24 18:28:31 +02:00
Daniel Cason
ce628dec1a PBTS: using proper Markdown subscripts in spec 2022-05-24 18:28:31 +02:00
Daniel Cason
36d74b7f59 PBTS: reference to v1 removed from algorithmic spec 2022-05-24 18:28:31 +02:00
Kukovec
6c09780776 formatting 2022-05-24 18:28:31 +02:00
Kukovec
60f0f7bcd0 run script/docs 2022-05-24 18:28:31 +02:00
Kukovec
aa8581a9f0 move + rename 2022-05-24 18:28:31 +02:00
Daniel Cason
c251a59d0e PBTS: added deprecation note on BFTTime documentation 2022-05-24 16:49:18 +02:00
Daniel Cason
4f9cb80836 PBTS spec: fixing and/or removing broken links 2022-05-24 16:34:45 +02:00
Daniel Cason
85290686c3 Spec/consensus: references (links) to BFTTime updated 2022-05-24 16:14:22 +02:00
Daniel Cason
c7738bfb06 Spec: outdated BFTTime documentation removed
* The file was actually moved to the PBTS spec repository
2022-05-24 16:10:49 +02:00
Daniel Cason
5c7a1ea45c Spec: consensus/block Time initial specification 2022-05-24 16:09:42 +02:00
Daniel Cason
4aab6be8eb PBTS: using proper Markdown subscripts in spec 2022-05-12 17:35:02 +02:00
Daniel Cason
3354c1aebb PBTS: redundant not changes in algorithm removed 2022-05-12 17:20:41 +02:00
Daniel Cason
ba137f9c85 PBTS: changes in arXiv algorithm made more clear 2022-05-12 17:17:12 +02:00
Daniel Cason
0d3c1ddbbd PBTS: using proper Markdown subscripts in spec [2] 2022-05-12 17:06:45 +02:00
Daniel Cason
444ed8c679 PBTS: using proper Markdown subscripts in spec 2022-05-12 16:54:04 +02:00
Daniel Cason
858358aa8d PBTS: reference to v1 removed from algorithmic spec 2022-05-12 16:47:20 +02:00
Kukovec
cd48156f66 formatting 2022-05-06 15:10:33 +02:00
Kukovec
026f378e50 run script/docs 2022-05-06 15:07:20 +02:00
Kukovec
1b7aabcc39 move + rename 2022-05-06 11:31:49 +02:00
Daniel
a49325e4e0 PBTS: system model made more precise (#8096)
* PBTS model: precision, accuracy, and delay defs

* PBTS model: consensus properties reviewed

* PBTS model: reinforcing alignment with UTC

* PBTS model: precision parameter embodies accuracy

* PBTS model: discussion about accuracy shortened

* PBTS model: proposal time monotonocity rephrased

* PBTS model: precision, accuracy, and delay defs

* PBTS model: consensus properties reviewed

* PBTS model: reinforcing alignment with UTC

* PBTS model: precision parameter embodies accuracy

* PBTS model: discussion about accuracy shortened

* PBTS model: proposal time monotonocity rephrased

* PBTS model: Safety Invariants subsection

* PBTS model: MSGDELAY description shortened

* PBTS model: timely proposals definition refined

* PBTS model: some formatting changes

* PBTS model: timely predicate definition

* PBTS model: timely proof-of-lock re-defined

* PBTS model: derived proof-of-lock requirements

   * The property needs to be properly demonstrated.

* Apply suggestions from William

Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com>

* PBTS model: reference to arXiv algorithm on timely

* PBTS model: typos fixed

* PBTS model: derived POL "demonstration"

* PBTS model: fix formatting, r' renamed to vr

* PBTS model: minor fixes

* PBTS model: derived POL proof ammended

* PBTS safety: consensus validity with time inequalty

* PBTS: renamed receiveTime to proposalReceptionTime

* PBTS safety: short intro, some links

* PBTS model: safety refactored again

* PBTS model: liveness condition stated

* PBTS liveness: minor change

* Update spec/consensus/proposer-based-timestamp/pbts-sysmodel_002_draft.md

Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com>

* Update spec/consensus/proposer-based-timestamp/pbts-sysmodel_002_draft.md

Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com>

* Update spec/consensus/proposer-based-timestamp/pbts-sysmodel_002_draft.md

* Update spec/consensus/proposer-based-timestamp/pbts-sysmodel_002_draft.md

Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>

* Update spec/consensus/proposer-based-timestamp/pbts-sysmodel_002_draft.md

Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>

* Update spec/consensus/proposer-based-timestamp/pbts-sysmodel_002_draft.md

Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>

* PBTS sysmodel: formmatting typo fixed

Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com>
Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>
2022-05-02 10:22:03 +02:00
Chill Validation
c53b71821c Fix a spelling error (#8297) 2022-04-09 11:42:47 -07:00
M. J. Fromberger
c42c6d06d2 Migration of TLA+ files from the spec repo (#8004) (#8018)
Co-authored-by: Kukovec <jure.kukovec@gmail.com>
2022-03-02 09:08:39 -05:00
M. J. Fromberger
b848c79971 Revert "Migration of TLA+ files from the spec repo (#8004)" (#8016)
This reverts commit e762dbb603.

These files need a more thorough review before integration.
2022-02-25 16:37:31 -08:00
Kukovec
e762dbb603 Migration of TLA+ files from the spec repo (#8004) 2022-02-25 16:09:27 -08:00
Thane Thomson
abdf717761 spec: Minor updates to spec merge PR (#7835)
Signed-off-by: Thane Thomson <connect@thanethomson.com>
Co-authored-by: Callum Waters <cmwaters19@gmail.com>
2022-02-20 11:36:20 -08:00
Callum Waters
e81b0e290e spec: merge spec repo into tendermint repo (#7804) 2022-02-17 13:02:48 +01:00
Daniel
4fb99af40d PBTS: spec reorganization, summary of changes on README.md (#399)
* PBTS: brief context and proposal added to README

* PBTS: summary of algorithmic solution added to README

* PBTS: Context section of README improved

* PBTS: fixing links and page titles

* PBTS: moved first drafts to v1/, links updated

* PBTS: added issues to README, link to arXiv PDF

* PBTS: brief context and proposal added to README

* PBTS: summary of algorithmic solution added to README

* PBTS: Context section of README improved

* PBTS: fixing links and page titles

* PBTS: moved first drafts to v1/, links updated

* PBTS: added issues to README, link to arXiv PDF

* Apply suggestions from code review

Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com>
Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>

* Fixing linting problems

Co-authored-by: Daniel Cason <cason@gandria>
Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com>
Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>
2022-02-04 10:44:32 +01:00
Kukovec
f8c4ec38ec Apalache annotations (#398) 2022-02-02 12:29:02 +01:00
Daniel
20b2abb5f9 PBTS: new system model and problem statement (#375)
* PBTS: second version of system model

* PBTS: new model referred in algorithm spec

* PBTS: removed model discussion from algorithm spec

* PBTS: corrections on the ystem model

* PBTS: a pretty complex problem statement

* PBTS: minor fixes on the problem spefication

* PBTS: liveness part of problem specification

* PBTS: link updated, outdated note on sysmodel_v1

* Update spec/consensus/proposer-based-timestamp/pbts-algorithm_002_draft.md

Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com>

* Apply William's suggestions from code review

Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com>

* PBTS: new discussion and definition for accuracy

* Apply Josef's suggestion from code review

Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>

* PBTS: some tags added to sysmodel

* PBTS: motivation and link to Issue #371

* PBTS: fixing lint error

Co-authored-by: William Banfield <4561443+williambanfield@users.noreply.github.com>
Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>
2021-12-15 17:19:50 +01:00
Josef Widder
eaa2629352 Update README.md (#373) 2021-11-27 17:01:17 +01:00
Daniel
339304f87c PBTS: new minimal set of changes in consensus algorithm (#369)
* PBTS: second draft of protocol specification

* PBTS: updates in consensus algorithm v2

* PBTS: adding/fixing links in second draft

* PBTS: updated links for new algorithm specification

* PBTS: changes suggested by Josef

Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>

* PBTS: minor fixes and additions to spec

Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>
2021-11-27 11:18:46 +01:00
M. J. Fromberger
e92aa56a75 Clean up lint failures for Markdown files (#367)
Many of the Markdown files in this repository fail the Markdown lint check.
This change cleans up most of them, either by:

- Removing links to targets that no longer exist.
- Updating links to targets that have moved.
- Disabling the linter for files that need more revision.
- Clean up trailing whitespace in files that peeves the super-linter.

Fixes #363.
2021-11-22 14:22:55 -08:00
Callum Waters
8029cf7a0f evidence: add section explaining evidence (#324) 2021-08-03 11:14:28 +02:00
Yixin Luo
f3216e6953 rename HasVote to ReceivedVote (#289) 2021-05-25 07:42:30 +00:00