remove build files

This commit is contained in:
Vlad Zamfir 2017-11-01 15:08:12 -05:00
parent 11be8973cd
commit 25e6fa5789
10 changed files with 0 additions and 2326 deletions

Binary file not shown.

View File

@ -1,28 +0,0 @@
\relax
\citation{lamport_1998}
\citation{nakamoto}
\citation{paxos}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Comparing Traditional Consensus to Blockchain Consensus}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Overview of the Work Presented}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}Consensus Safety Proof}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Casper the Friendly Binary Consensus}{3}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Casper the Friendly Ghost}{6}}
\@writefile{loa}{\contentsline {algocf}{\numberline {1}{\ignorespaces The Greedy Heaviest-Observed Sub-tree Fork-choice rule, $\mathcal {E}$\relax }}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {4}A Simple Safety Oracle}{8}}
\@writefile{loa}{\contentsline {algocf}{\numberline {2}{\ignorespaces The ``Clique Oracle'', $S_t$\relax }}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Subjective Fault Tolerance Thresholds}{10}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Casper the Friendly Ghost with Validator Rotation}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Liveness Considerations}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Experimental Observations}{13}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A Binary consensus protocol execution. Dotted lines are messages included in the justification of the later message. The label on the nodes represents the estimate of the message. A message is coloured if it has achieved some amount of Byzantine fault tolerant estimate safety, accoring to a clique oracle given its justification. The darker the colour, the more faults are tolerated by the estimate\relax }}{13}}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Blockchain protocol execution with 3 validators, $v_0, v_1, v_2$. Each node labeled $0$ is the first message from that validator, and the nodes verically aligned above each validator represent messages made by that validator. Dotted black lines are messages included in the justification of the later message. Blue lines represent the forkchoices of the validators given by their latest blocks. Solid grey lines are prevblock pointers (that aren't blue because they are no longer the validator's forkchoice). The red line is the result of applying GHOST to the set of messages displayed here.\relax }}{14}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces In this execution of the blockchain consensus protocol, we observe some safe blocks. They are colour coded the same way as in the earlier, however this time they represent the blocks that are seen to be safe from the view that includes all of the nodes. In contrast, in the binary consensus we displayed safety that was detected locally.\relax }}{14}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Finally, in this execution of the blockchain consensus protocol where the validators are able to pass blocks around in a ``round-robin'' configuration, we observe the $\mathcal {O}(1)$ messages received per (finalized) block. This is possible because each block contributes to the consensus safety of many blocks.\relax }}{15}}
\bibstyle{naturemag}
\bibdata{ethereum}
\bibcite{lamport_1998}{1}
\bibcite{nakamoto}{2}
\bibcite{paxos}{3}
\@writefile{toc}{\contentsline {section}{\numberline {9}Conclusion}{16}}
\@writefile{toc}{\contentsline {section}{\numberline {10}Acknowledgements}{16}}

View File

@ -1,25 +0,0 @@
\begin{thebibliography}{1}
\expandafter\ifx\csname url\endcsname\relax
\def\url#1{\texttt{#1}}\fi
\expandafter\ifx\csname urlprefix\endcsname\relax\def\urlprefix{URL }\fi
\providecommand{\bibinfo}[2]{#2}
\providecommand{\eprint}[2][]{\url{#2}}
\bibitem{lamport_1998}
\bibinfo{author}{Lamport, L.}
\newblock \bibinfo{title}{The part-time parliament}.
\newblock \emph{\bibinfo{journal}{ACM Transactions on Computer Systems}}
\textbf{\bibinfo{volume}{16}}, \bibinfo{pages}{133169}
(\bibinfo{year}{1998}).
\bibitem{nakamoto}
\bibinfo{author}{Nakamoto, S.}
\newblock \bibinfo{title}{Bitcoin: A peer-to-peer electronic cash systems}
(\bibinfo{year}{2008}).
\newblock \urlprefix\url{https://bitcoin.org/bitcoin.pdf}.
\bibitem{paxos}
\bibinfo{title}{Paxos made moderately complex}.
\newblock \urlprefix\url{http://paxos.systems/}.
\end{thebibliography}

View File

@ -1,46 +0,0 @@
This is BibTeX, Version 0.99d (TeX Live 2017)
Capacity: max_strings=100000, hash_size=100000, hash_prime=85009
The top-level auxiliary file: CasperTFG.aux
The style file: naturemag.bst
Database file #1: ethereum.bib
You've used 3 entries,
2348 wiz_defined-function locations,
992 strings with 9001 characters,
and the built_in function-call counts, 764 in all, are:
= -- 47
> -- 9
< -- 0
+ -- 5
- -- 2
* -- 69
:= -- 85
add.period$ -- 8
call.type$ -- 3
change.case$ -- 3
chr.to.int$ -- 0
cite$ -- 3
duplicate$ -- 69
empty$ -- 91
format.name$ -- 2
if$ -- 157
int.to.chr$ -- 0
int.to.str$ -- 3
missing$ -- 14
newline$ -- 22
num.names$ -- 2
pop$ -- 24
preamble$ -- 1
purify$ -- 0
quote$ -- 0
skip$ -- 22
stack$ -- 0
substring$ -- 27
swap$ -- 54
text.length$ -- 0
text.prefix$ -- 0
top$ -- 0
type$ -- 0
warning$ -- 0
while$ -- 3
width$ -- 4
write$ -- 35

File diff suppressed because it is too large Load Diff

View File

@ -1,21 +0,0 @@
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=pdflatex 2017.5.23) 1 NOV 2017 13:05
entering extended mode
\write18 enabled.
%&-line parsing enabled.
**CasperTFG.
! Emergency stop.
<*> CasperTFG.
End of file on the terminal!
Here is how much of TeX's memory you used:
4 strings out of 492995
105 string characters out of 6132704
54074 words of memory out of 5000000
3658 multiletter control sequences out of 15000+600000
3640 words of font info for 14 fonts, out of 8000000 for 9000
1141 hyphenation exceptions out of 8191
0i,0n,0p,1b,6s stack positions out of 5000i,500n,10000p,200000b,80000s
! ==> Fatal error occurred, no output PDF file produced!

Binary file not shown.

View File

@ -1,7 +0,0 @@
\relax
\citation{paxos}
\@writefile{toc}{\contentsline {section}{\numberline {1}Part 0: Introduction}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Comparing Traditional Consensus to Blockchain Consensus}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Overview of the correct-by-construction process}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Part 1: Abstract Consensus Safety Proof}{2}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Displaying the bifurcations ($n$-furcation) inheret in the statespace of estimate safety consensus protocols (with non-triviality). States with common futures (marked with $\sim $) still have the opportunity to make consistent decisions. States who don't have this opportunity don't share futures (marked with $\nsim $).\relax }}{7}}

File diff suppressed because it is too large Load Diff

View File

@ -1,25 +0,0 @@
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=pdflatex 2017.5.23) 1 NOV 2017 11:38
entering extended mode
\write18 enabled.
%&-line parsing enabled.
**AbstractCBC
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/q.tex
LaTeX2e <2017-04-15>
Babel <3.10> and hyphenation patterns for 84 language(s) loaded.
File ignored
)
! Emergency stop.
<*> AbstractCBC
*** (job aborted, no legal \end found)
Here is how much of TeX's memory you used:
7 strings out of 492995
265 string characters out of 6132704
54074 words of memory out of 5000000
3658 multiletter control sequences out of 15000+600000
3640 words of font info for 14 fonts, out of 8000000 for 9000
1141 hyphenation exceptions out of 8191
5i,0n,1p,91b,8s stack positions out of 5000i,500n,10000p,200000b,80000s
! ==> Fatal error occurred, no output PDF file produced!