diff --git a/papers/casper/casper_basic_structure.aux b/papers/casper/casper_basic_structure.aux index 966c427..f0e7a6d 100644 --- a/papers/casper/casper_basic_structure.aux +++ b/papers/casper/casper_basic_structure.aux @@ -2,10 +2,10 @@ \@writefile{toc}{\contentsline {section}{\numberline {1}Principles}{1}} \@writefile{toc}{\contentsline {section}{\numberline {2}Introduction, Protocol I}{2}} \@writefile{toc}{\contentsline {section}{\numberline {3}Proof Sketch of Safety and Plausible Liveness}{4}} -\@writefile{toc}{\contentsline {section}{\numberline {4}Fork Choice Rule}{5}} +\@writefile{toc}{\contentsline {section}{\numberline {4}Fork Choice Rule}{6}} \@writefile{toc}{\contentsline {section}{\numberline {5}Dynamic Validator Sets}{7}} -\@writefile{toc}{\contentsline {section}{\numberline {6}Mass Crash Failure Recovery}{8}} +\@writefile{toc}{\contentsline {section}{\numberline {6}Mass Crash Failure Recovery}{9}} +\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusions}{10}} \bibstyle{abbrv} \bibdata{main} -\@writefile{toc}{\contentsline {section}{\numberline {7}Conclusions}{10}} -\@writefile{toc}{\contentsline {section}{\numberline {8}References}{10}} +\@writefile{toc}{\contentsline {section}{\numberline {8}References}{11}} diff --git a/papers/casper/casper_basic_structure.log b/papers/casper/casper_basic_structure.log index 3d4c6b4..94e36d2 100644 --- a/papers/casper/casper_basic_structure.log +++ b/papers/casper/casper_basic_structure.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/Debian) (preloaded format=pdflatex 2017.6.27) 17 AUG 2017 16:44 +This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2015/Debian) (preloaded format=pdflatex 2017.6.27) 20 AUG 2017 04:48 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -178,58 +178,64 @@ Overfull \hbox (29.12628pt too wide) in paragraph at lines 30--31 [][] [] -LaTeX Font Info: Try loading font information for OMS+cmr on input line 35. +LaTeX Font Info: Try loading font information for OMS+cmr on input line 37. (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd File: omscmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <12> not available -(Font) Font shape `OMS/cmsy/m/n' tried instead on input line 35. +(Font) Font shape `OMS/cmsy/m/n' tried instead on input line 37. [2 <./prepares_commits.png>] [3] -Overfull \hbox (1.48117pt too wide) in paragraph at lines 60--61 +Overfull \hbox (2.44592pt too wide) in paragraph at lines 57--58 +[]\OT1/cmr/m/n/12 This gives sub-stan-tial gains in im-ple-men-ta-tion sim-plic +-ity, be-cause it means + [] + + +Overfull \hbox (1.48117pt too wide) in paragraph at lines 62--63 []\OT1/cmr/bx/n/12 NO[]DBL[]PREPARE\OT1/cmr/m/n/12 : a val-ida-tor can-not pre- pare two dif-fer-ent check- [] - +[4] File: conflicting_checkpoints.png Graphic file (type png) -Package pdftex.def Info: conflicting_checkpoints.png used on input line 72. +Package pdftex.def Info: conflicting_checkpoints.png used on input line 76. (pdftex.def) Requested size: 301.1261pt x 191.5449pt. - [4] [5 <./conflicting_checkpoints.png>] + [5 <./conflicting_checkpoints.png>] File: fork_choice_rule.jpeg Graphic file (type jpg) -Package pdftex.def Info: fork_choice_rule.jpeg used on input line 84. +Package pdftex.def Info: fork_choice_rule.jpeg used on input line 88. (pdftex.def) Requested size: 401.50146pt x 251.1535pt. -Overfull \hbox (29.12628pt too wide) in paragraph at lines 84--85 +Overfull \hbox (29.12628pt too wide) in paragraph at lines 88--89 [][] [] [6 <./fork_choice_rule.jpeg>] [7] - + File: validator_set_misalignment.png Graphic file (type png) -Package pdftex.def Info: validator_set_misalignment.png used on input line 113. +Package pdftex.def Info: validator_set_misalignment.png used on input line 117. (pdftex.def) Requested size: 250.93842pt x 168.09088pt. - [8 <./validator_set_misalignment.png (PNG copy)>] + [8] + File: CommitsSync.png Graphic file (type png) - - -Package pdftex.def Info: CommitsSync.png used on input line 123. + +Package pdftex.def Info: CommitsSync.png used on input line 127. (pdftex.def) Requested size: 301.1261pt x 266.08658pt. - [9 <./CommitsSync.png>] + +[9 <./validator_set_misalignment.png (PNG copy)>] [10 <./CommitsSync.png>] No file casper_basic_structure.bbl. -[10] (./casper_basic_structure.aux) ) +[11] (./casper_basic_structure.aux) ) Here is how much of TeX's memory you used: 1637 strings out of 494953 23600 string characters out of 6180977 - 79571 words of memory out of 5000000 + 80571 words of memory out of 5000000 4915 multiletter control sequences out of 15000+600000 9456 words of font info for 33 fonts, out of 8000000 for 9000 14 hyphenation exceptions out of 8191 @@ -243,11 +249,12 @@ m/cmmi8.pfb> -Output written on casper_basic_structure.pdf (10 pages, 351625 bytes). +mf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb> +Output written on casper_basic_structure.pdf (11 pages, 360532 bytes). PDF statistics: - 86 PDF objects out of 1000 (max. 8388607) - 55 compressed objects within 1 object stream + 93 PDF objects out of 1000 (max. 8388607) + 60 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 26 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/papers/casper/casper_basic_structure.pdf b/papers/casper/casper_basic_structure.pdf index d5d207a..497c7ee 100644 Binary files a/papers/casper/casper_basic_structure.pdf and b/papers/casper/casper_basic_structure.pdf differ diff --git a/papers/casper/casper_basic_structure.tex b/papers/casper/casper_basic_structure.tex index 75a3579..85ab3bb 100644 --- a/papers/casper/casper_basic_structure.tex +++ b/papers/casper/casper_basic_structure.tex @@ -29,7 +29,7 @@ In the Casper protocol, there exists a set of validators, and in each \textit{ep \includegraphics[width=400px]{prepares_commits.png} -An \textit{epoch} is a period of 100 epochs; epoch $n$ begins at block $n * 100$ and ends at block $n * 100 + 99$. A \textit{checkpoint for epoch $n$} is a block with number $n * 100 - 1$; in a smoothly running blockchain there will usually be only one checkpoint per epoch, but due to natural network latency or deliberate attacks there may be multiple competing checkpoints during some epochs. The \textit{parent checkpoint} of a checkpoint is the 100th ancestor of the checkpoint block, and an \textit{ancestor checkpoint} of a checkpoint is either the parent checkpoint, or an ancestor checkpoint of the parent checkpoint. +An \textit{epoch} is a period of 100 blocks; epoch $n$ begins at block $n * 100$ and ends at block $n * 100 + 99$. A \textit{checkpoint for epoch $n$} is a block with number $n * 100 - 1$; in a smoothly running blockchain there will usually be only one checkpoint per epoch, but due to natural network latency or deliberate attacks there may be multiple competing checkpoints during some epochs. The \textit{parent checkpoint} of a checkpoint is the 100th ancestor of the checkpoint block, and an \textit{ancestor checkpoint} of a checkpoint is either the parent checkpoint, or an ancestor checkpoint of the parent checkpoint. We define the \textit{ancestry hash} of a checkpoint as follows: