Page 16, Lemma 5 Justification only takes a message, not a protocol state

cbc-casper / cbc-casper-paper

An Introduction to CBC Casper Consensus Protocols

138 stars 16 forks source link

Open HarikrishnanBalagopal opened 3 years ago

HarikrishnanBalagopal commented 3 years ago

Remove \sigma from the input to justification

HarikrishnanBalagopal commented 3 years ago

Also there's an extra closing parenthesis in Page 16, Definition 4.10