pezkuwichain/consensus
1
0
Fork 0
mirror of https://github.com/pezkuwichain/consensus.git synced 2026-04-22 04:27:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

remove contraction

Browse Source
This commit is contained in:
Jeff Burdges
2018-11-11 10:36:05 +01:00
parent 14cc40b27f
commit f3ee32d739
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pdf/grandpa.tex
+1 -1
View File
@@ -353,7 +353,7 @@ If there at most $f$ Byzantine voters in any vote, $B$ was finalised in round $r
We show the protocol is deadlock free and also that it finalises new blocks quickly in a weakly synchronous model.
Let's define $V_{r,v,t}$ be the set $V_{r,v}$ at time $t$ and similarly for $C_{r,v,t}$ and the block $E_{r,v,t}$ .
We define $V_{r,v,t}$ be the set $V_{r,v}$ at time $t$ and similarly for $C_{r,v,t}$ and the block $E_{r,v,t}$ .
\begin{lemma} \label{lem:message-monotonicity-completed-estimate}