body.tex

% Stretch goals:
% - Prove results without a global clock (assuming clocks fall within a bounded difference)
% - Prove that variable difficulty bitcoin is timely
% - Make the timeliness proof abstract dependent only on 6 properties:
%   1) Common Prefix
%   2) Chain Quality
%   3) Chain Growth
%   4) Honest parties validate chain by: Increasing timestamps, No round in the future
%   5) Honest parties report current round
%   6) Confirmation rule is the same as Common Prefix
%   7) Show that all blocks were roughly generated at the time they record (at least in Bitcoin)
%   8) Prove that the supersafe and perfectly timely protocol is secure for clients

\import{./}{preliminaries.tex}
\import{./}{definitions.tex}
\import{./}{possibility.tex}
\import{./}{impossibility.tex}
\import{./}{forward-reduction.tex}
\import{./}{backward-reduction.tex}
\import{./}{conclusion.tex}
\ifack
  \import{./}{acknowledgements.tex}
\else
\fi