From ed87ef8b58e3e0ec2bb53f8b4c4ef30519a78716 Mon Sep 17 00:00:00 2001 From: Jeff Burdges Date: Thu, 8 Nov 2018 23:59:41 +0100 Subject: [PATCH] Clarify t_{r,v} --- pdf/grandpa.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pdf/grandpa.tex b/pdf/grandpa.tex index 52dfaa4..e4a0192 100644 --- a/pdf/grandpa.tex +++ b/pdf/grandpa.tex @@ -204,7 +204,7 @@ In round $r$ an honest validator $v$ does the following: \noindent \fbox{\parbox{6.3in}{ \begin{enumerate} -\item $v$ can start round $r > 1$ when round $r-1$ is completable and $v$ has cast votes in all previous rounds where they are a voter. Let $t_{r,v}$ be the time we start round $r$. +\item $v$ can start round $r > 1$ when round $r-1$ is completable and $v$ has cast votes in all previous rounds where they are a voter. Let $t_{r,v}$ be the time $v$ starts round $r$. \item At time $t_{r,v}$, if $v$ is the primary of this round and has not finalised $E_{r-1,v}$ then they broadcast $E_{r-1,v}$. If thy have finalised it, they can broadcast $E_{r-1,v}$ anyway (but don't need to).