Clarify t_{r,v}

This commit is contained in:
Jeff Burdges
2018-11-08 23:59:41 +01:00
parent 3ea07a4124
commit ed87ef8b58
+1 -1
View File
@@ -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).