From 3ed049b998d831840446b8198c3198a4d40bd0a6 Mon Sep 17 00:00:00 2001 From: Ryuya Nakamura Date: Wed, 24 Apr 2019 09:57:05 +0900 Subject: [PATCH] Fix a typo "partici[ants" --- pdf/grandpa.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pdf/grandpa.tex b/pdf/grandpa.tex index 29a6101..c8e7019 100644 --- a/pdf/grandpa.tex +++ b/pdf/grandpa.tex @@ -244,7 +244,7 @@ Note that we can easily update $g(S)$ to $g(S \cup \{v\})$, by checking if any c 3 tells us that even if participants see different subsets of the votes cast in a given voting round, this rule may give them different blocks but all such blocks are in the same chain under this assumption. -Next, we define a notion of possibility to have a supermajority which needs t have that if the set of all votes in a vote $T$ is tolerant and some participant observes a subset $S \subseteq T$ that has a supermajority for a block $B$ then all partici[ants who see some other subset $S' \subseteq T$ still see that it is possible for $S$ to have a supermajority for $B$. We need a definition that extends to intolerant sets. +Next, we define a notion of possibility to have a supermajority which needs t have that if the set of all votes in a vote $T$ is tolerant and some participant observes a subset $S \subseteq T$ that has a supermajority for a block $B$ then all participants who see some other subset $S' \subseteq T$ still see that it is possible for $S$ to have a supermajority for $B$. We need a definition that extends to intolerant sets. We say that it is {\em impossible} for a set $S$ to have a supermajority for $B$ if at least $(n+f+1)/2$ voters either vote for a block $\not \geq B$ or equivocate in $S$. Otherwise it is {\em possible} for $S$ to have a supermajority for $B$.