From 50798bb0bc7c35f41e3514890e7efc22f58ca36e Mon Sep 17 00:00:00 2001 From: Danny Ryan Date: Tue, 22 Aug 2017 09:38:11 -0500 Subject: [PATCH] fix minor type "dyansty" --> "dynasty" --- papers/casper/casper_basic_structure.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/papers/casper/casper_basic_structure.tex b/papers/casper/casper_basic_structure.tex index 85ab3bb..270dcc7 100644 --- a/papers/casper/casper_basic_structure.tex +++ b/papers/casper/casper_basic_structure.tex @@ -112,7 +112,7 @@ In an open protocol, the validator set needs to be able to change; old validator For a validator to leave, they must send a ``withdraw'' message. If their withdraw message gets included during dynasty $n$, the validator similarly leaves the validator set during dynasty $n+2$; we call $n+2$ their \textit{end dynasty}. When a validator withdraws, their deposit is locked for four months before they can take their money out; if they are caught violating a slashing condition within that time then their deposit is forfeited. -For a checkpoint to be justified, it must be prepared by a set of validators which contains (i) at least $\frac{2}{3}$ of the current dynasty (that is, validators with $startDynasty \le curDynasty < endDynasty$), and (ii) at least $\frac{2}{3}$ of the previous dyansty (that is, validators with $startDynasty \le curDynasty - 1 < endDynasty$. Finalization with commits works similarly. The current and previous dynasties will usually mostly overlap; but in cases where they substantially diverge this ``stitching'' mechanism ensures that dynasty divergences do not lead to situations where a finality reversion or other failure can happen because different messages are signed by different validator sets and so equivocation is avoided. +For a checkpoint to be justified, it must be prepared by a set of validators which contains (i) at least $\frac{2}{3}$ of the current dynasty (that is, validators with $startDynasty \le curDynasty < endDynasty$), and (ii) at least $\frac{2}{3}$ of the previous dynasty (that is, validators with $startDynasty \le curDynasty - 1 < endDynasty$. Finalization with commits works similarly. The current and previous dynasties will usually mostly overlap; but in cases where they substantially diverge this ``stitching'' mechanism ensures that dynasty divergences do not lead to situations where a finality reversion or other failure can happen because different messages are signed by different validator sets and so equivocation is avoided. \includegraphics[width=250px]{validator_set_misalignment.png}