From 77a7c1f4e9af521a34362f1661c4f294516fc6ea Mon Sep 17 00:00:00 2001 From: Denis Kolegov Date: Mon, 24 Jun 2024 20:10:55 +0200 Subject: [PATCH] Update spec/protocol-spec/README.md Co-authored-by: Igor Konnov --- spec/protocol-spec/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spec/protocol-spec/README.md b/spec/protocol-spec/README.md index 53bd1985..c9d6d5da 100644 --- a/spec/protocol-spec/README.md +++ b/spec/protocol-spec/README.md @@ -25,7 +25,7 @@ We are checking the protocol specification for several configurations: be violated. - [n6f1b2](./n6f1b2.qnt) is the protocol instance for `N=6`, `F=1`, and two - Byzantines replica. Two Byzantine replicas have the critical mass to partition + Byzantine replicas. Two Byzantine replicas have the critical mass to partition the correct replicas. Some invariants such as `agreement_inv` are violated in this instance.