\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}}