Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Specified the robustness property to refer to consensus protocols with immediate finality #49

Closed
wants to merge 2 commits into from
Closed

Specified the robustness property to refer to consensus protocols with immediate finality #49

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
d80e28d
Specified the robustness property to refer to consensus protocols with
saltiniroberto Sep 5, 2019
b6faf9f
Specified that two identical blockchains are prefix of one another.
saltiniroberto Sep 12, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 4 additions & 1 deletion terminology.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,10 @@ In order alphabetically by `Label` then by `Term`, or just `Term` if there is no

|Label | Term | Definition |
|------| ---------------------------------- | --------------- |
| CP | Liveness | Every correct propsed value will eventually be accepted by correct nodes. aka something good happens. |
| CP | Chain Agreement with Immediate Finality | At any point in time, for any two nodes `n1` and `n2`, either the blockchain of `n1` is a prefix of the blockchain of `n2` or the blockhain of `n2` is a prefix for the blockchain of `n1`. If two blockchains are identical, then each of them is a prefix of the other. |
| CP | Honest Chain Growth | For any point in time `t` and any node `n`, there exists a fine value `τ` such that the length of the blockchain of node `n` at time `t+τ` includes block proposed by honest nodes that were not included in the blockchain for node `n` at time `t`. |
| CP | Robust Consensus Protocol with Immediate Finality | A consensus protocol with immediate finality is robust if and only if it guarantees all of the following properties: <ul><li>Chain Agreement with Immediate Finality<li>Honest Chain Growth</ul> |
Copy link

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we should revisit the robustness definition here #14 before including it in any other document.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thi sis the liveness property

| CP | Liveness | Every correct propsed value will eventually be accepted by correct nodes. aka something good happens. |
| CP| Persistence | ??
| CP | Safety | If a value is committed by a correct node, then that value will eventually be commited by all correct nodes. Two correct nodes will never commit to different values. aka nothing bad happens.
|| Cryptographic Hash Function | A collision resistant hash function that cannot feasibly be reversed by a computationally bound adversary.
Expand Down