frontmatter.tex

\hypersetup{
  pdftitle={A Formal Specification of the Bcc Ledger (Cole Release)},
  breaklinks=true,
  bookmarks=true,
  colorlinks=false,
  linkcolor={blue},
  citecolor={blue},
  urlcolor={blue},
  linkbordercolor={white},
  citebordercolor={white},
  urlbordercolor={white}
}

\title{
  A Formal Specification of the Bcc Ledger\\
  \small{(for the Cole release)}
}

\author{Robert Mourey Jr \\
  {\small \texttt{rmourey_jr@blockchain-company.io}}\\
}

\date{\today}

\maketitle

\begin{abstract}
  This document defines the rules for extending a ledger with transactions, as
  implemented in the Cole release of the Bcc Ledger. It is intended to
  serve as the specification for random generators of transactions which adhere
  to the rules presented here.
\end{abstract}

\section*{List of Contributors}
\label{acknowledgements}

Jared Corduan, Nicholas Clarke, Marko Dimjašević, Duncan Coutts, Ru Horlick,
Michael Hueschen, Ryan Lemmer.