From 76bd5763f215748a3a8e6eabde7a07f849cd71f9 Mon Sep 17 00:00:00 2001 From: jsolman Date: Mon, 18 Mar 2019 22:02:45 -0700 Subject: [PATCH] Greater than F nodes must have committed for it to not be possible for changing view and coming to consensus. --- neo/Consensus/Helper.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/neo/Consensus/Helper.cs b/neo/Consensus/Helper.cs index e49418fd41..1a841534f9 100644 --- a/neo/Consensus/Helper.cs +++ b/neo/Consensus/Helper.cs @@ -36,7 +36,7 @@ internal static class Helper // asking change views loses network or crashes and comes back when nodes are committed in more than one higher // numbered view, it is possible for the node accepting recovery and commit in any of the higher views, thus // potentially splitting nodes among views and stalling the network. - public static bool FNodesCommitted(this IConsensusContext context) => context.CommitPayloads.Count(p => p != null) >= context.F(); + public static bool FNodesCommitted(this IConsensusContext context) => context.CommitPayloads.Count(p => p != null) > context.F(); [MethodImpl(MethodImplOptions.AggressiveInlining)] public static uint GetPrimaryIndex(this IConsensusContext context, byte viewNumber)