From 563aa8185bc9188eb7a54afc3f4dce49a647b9e6 Mon Sep 17 00:00:00 2001 From: Roberto Saltini Date: Wed, 16 Oct 2019 16:20:03 +1100 Subject: [PATCH 1/2] Added Honest Chain Growth --- terminology.md | 1 + 1 file changed, 1 insertion(+) diff --git a/terminology.md b/terminology.md index d48e456..df2fba4 100644 --- a/terminology.md +++ b/terminology.md @@ -16,6 +16,7 @@ In order alphabetically by `Label` then by `Term`, or just `Term` if there is no | 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. +| 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`. | || Cryptographic Hash Function | A collision resistant hash function that cannot feasibly be reversed by a computationally bound adversary. || Global Stabalization Time (GST) | "A time unknown to the processors, such that the message system respects the upper bound from time GST onward." (DLS Consensus in the Presence of Partial Synchrony) || Linearizability | From 146759259ed66bf6855e1644bae43b29cb9c3d27 Mon Sep 17 00:00:00 2001 From: Roberto Saltini Date: Wed, 20 Nov 2019 11:49:11 +1100 Subject: [PATCH 2/2] Simplified the definition --- terminology.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/terminology.md b/terminology.md index df2fba4..4f84501 100644 --- a/terminology.md +++ b/terminology.md @@ -16,7 +16,7 @@ In order alphabetically by `Label` then by `Term`, or just `Term` if there is no | 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. -| 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 | Honest Chain Growth | Starting from any point of the protocol execution, an honest node `v` will eventually add a block created by an honest node to its blockchain (`v`'s blockchain) | || Cryptographic Hash Function | A collision resistant hash function that cannot feasibly be reversed by a computationally bound adversary. || Global Stabalization Time (GST) | "A time unknown to the processors, such that the message system respects the upper bound from time GST onward." (DLS Consensus in the Presence of Partial Synchrony) || Linearizability |