Merge pull request #734 from w3f/skalman--fix-grandpa-best-pre-vote-candidate

Fix Best Pre-Vote Candidate in GRANDPA Spec

Author: Noc2

algorithms/bestPrevoteCandidate.tex

@@ -2,11 +2,12 @@
 \caption{Best-PreVote-Candidate}
 \begin{algorithmic}
     \input $r$
-    \state $B^{r, pv}_v \leftarrow$ \call{GRANDPA-GHOST}{$r$}
-    \if{\call{Received}{$M_{v_{primary}}^{r, prim}(B))$ \and $B^{r, pv}_v \geqslant B > L$}}
+    \state $B^{r-1, pv}_v \leftarrow$ \call{GRANDPA-GHOST}{$r-1$}
+    \if{\call{Received}{$M_{v_{primary}}^{r, prim}(B))$ \and $B^{r-1, pv}_v \geqslant B > L$}}
         \state $N \leftarrow B$
     \else
-        \state $N \leftarrow B^{r, pv}_v$
+        \state $N \leftarrow B^{r-1, pv}_v$
     \endif
+    \return \call{Best-Chain-Safe-Head}{N}
 \end{algorithmic}
-\end{algorithm}
+\end{algorithm}

docs/sect-finality.md

@@ -337,6 +337,8 @@ where $\#{{V}_{{\text{obv}{\left({v}\right)},{p}{o}{t}}}^{{{r},{p}{c}}}}$ is def
     algID="bestPrevoteCandidate"
     options={{ "lineNumber": true }}
 />
+
+where $\text{Best-Chain-Safe-Head}$ function is provided by the block production algorithm to choose a preferred head of the best sub-chain which must contain block $N$ provided to it..
 :::
 
 ###### Algorithm -algo-num- Attempt To Finalize At Round {#algo-attempt-to–finalize}