From 963526821ce8700a29b0bab162adab3871aaa9cc Mon Sep 17 00:00:00 2001 From: drequinox <34604812+drequinox@users.noreply.github.com> Date: Wed, 16 Oct 2019 10:54:10 +0100 Subject: [PATCH 1/4] Update requirements.md --- docs/requirements.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/docs/requirements.md b/docs/requirements.md index a84e60d..36a2ab9 100644 --- a/docs/requirements.md +++ b/docs/requirements.md @@ -5,3 +5,8 @@ The goal of this work is to agree on an interoperable consensus protocol that me * MUST guarantee timely finality; * MUST guarantee all of the requirements listed here when operating in eventually synchronous network * SHOULD have a specification sufficient to enable implemetation without having to refer to someone else's code; +* The consensus algorithm MUST support the following safety and liveness properties + - Agreement — Two different processes MUST decide the same block (agree on the same block). + - Validity — An honest validator MUST have proposed the decided block, and the proposal itself must be a valid block. + - Integrity — A process MUST only decide for a block at most once (in a round) + - Termination — Each honest process MUST eventualy decide (ensuring progress) From d5e99349e7a82dff30ca1e201f85b1a55afc9d1b Mon Sep 17 00:00:00 2001 From: drequinox <34604812+drequinox@users.noreply.github.com> Date: Mon, 18 Nov 2019 13:02:33 +0000 Subject: [PATCH 2/4] Update requirements.md --- docs/requirements.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/requirements.md b/docs/requirements.md index 36a2ab9..a6ab720 100644 --- a/docs/requirements.md +++ b/docs/requirements.md @@ -7,6 +7,6 @@ The goal of this work is to agree on an interoperable consensus protocol that me * SHOULD have a specification sufficient to enable implemetation without having to refer to someone else's code; * The consensus algorithm MUST support the following safety and liveness properties - Agreement — Two different processes MUST decide the same block (agree on the same block). - - Validity — An honest validator MUST have proposed the decided block, and the proposal itself must be a valid block. + - Validity — If a process decides on a block, then that block must have been proposed by some process. Secondly the proposal itself must be a valid block. - Integrity — A process MUST only decide for a block at most once (in a round) - Termination — Each honest process MUST eventualy decide (ensuring progress) From 0ea9dd23cd15f154ab48d50ab54f0b656ee9b545 Mon Sep 17 00:00:00 2001 From: drequinox <34604812+drequinox@users.noreply.github.com> Date: Mon, 18 Nov 2019 13:04:35 +0000 Subject: [PATCH 3/4] Update requirements.md --- docs/requirements.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/requirements.md b/docs/requirements.md index a6ab720..b19ea3c 100644 --- a/docs/requirements.md +++ b/docs/requirements.md @@ -6,7 +6,7 @@ The goal of this work is to agree on an interoperable consensus protocol that me * MUST guarantee all of the requirements listed here when operating in eventually synchronous network * SHOULD have a specification sufficient to enable implemetation without having to refer to someone else's code; * The consensus algorithm MUST support the following safety and liveness properties - - Agreement — Two different processes MUST decide the same block (agree on the same block). + - Agreement — Two different processes MUST decide the same block (no two processes decide different blocks). - Validity — If a process decides on a block, then that block must have been proposed by some process. Secondly the proposal itself must be a valid block. - Integrity — A process MUST only decide for a block at most once (in a round) - Termination — Each honest process MUST eventualy decide (ensuring progress) From 7fad19f2959dd5d9e8df409269503c2d58d9baf0 Mon Sep 17 00:00:00 2001 From: drequinox <34604812+drequinox@users.noreply.github.com> Date: Fri, 29 Nov 2019 12:45:13 +0000 Subject: [PATCH 4/4] Update requirements.md --- docs/requirements.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/requirements.md b/docs/requirements.md index b19ea3c..0127bbb 100644 --- a/docs/requirements.md +++ b/docs/requirements.md @@ -6,7 +6,7 @@ The goal of this work is to agree on an interoperable consensus protocol that me * MUST guarantee all of the requirements listed here when operating in eventually synchronous network * SHOULD have a specification sufficient to enable implemetation without having to refer to someone else's code; * The consensus algorithm MUST support the following safety and liveness properties - - Agreement — Two different processes MUST decide the same block (no two processes decide different blocks). - - Validity — If a process decides on a block, then that block must have been proposed by some process. Secondly the proposal itself must be a valid block. - - Integrity — A process MUST only decide for a block at most once (in a round) - - Termination — Each honest process MUST eventualy decide (ensuring progress) + - Agreement — Any two honest processes MUST decide the same block (no two honest processes decide different blocks). + - Validity — If an honest process decides on a block, then that block must have been proposed by some process. Secondly the proposal itself must be a valid block. + - Integrity — An honest process MUST only decide for a block at most once (in a round) + - Termination — Any honest process MUST eventualy decide (ensuring progress)