From d80e28d859ae96cf58bef7fdd8f1c9796be4f27b Mon Sep 17 00:00:00 2001 From: Roberto Saltini Date: Thu, 5 Sep 2019 17:55:34 +1000 Subject: [PATCH 1/2] Specified the robustness property to refer to consensus protocols with immediate finality --- terminology.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/terminology.md b/terminology.md index 1d9b9f0..7a8ddb4 100644 --- a/terminology.md +++ b/terminology.md @@ -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` | +| 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: | +| 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. From b6faf9f9a89d37f8f16b65cc7588965b82c98ab4 Mon Sep 17 00:00:00 2001 From: Roberto Saltini Date: Thu, 12 Sep 2019 15:22:45 +1000 Subject: [PATCH 2/2] Specified that two identical blockchains are prefix of one another. --- terminology.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/terminology.md b/terminology.md index 7a8ddb4..acb1e6b 100644 --- a/terminology.md +++ b/terminology.md @@ -13,7 +13,7 @@ In order alphabetically by `Label` then by `Term`, or just `Term` if there is no |Label | Term | Definition | |------| ---------------------------------- | --------------- | -| 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` | +| 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: | | CP | Liveness | Every correct propsed value will eventually be accepted by correct nodes. aka something good happens. |