frontmatter.tex

\hypersetup{
  pdftitle={Formal Specification of the Cardano Ledger with a Native
  Multi-Asset Implementation},
  breaklinks=true,
  bookmarks=true,
  colorlinks=false,
  linkcolor={blue},
  citecolor={blue},
  urlcolor={blue},
  linkbordercolor={white},
  citebordercolor={white},
  urlbordercolor={white}
}

\title{Formal Specification of the Cardano Ledger with a Native
Multi-Asset Implementation}
\renewcommand{\thepage}{\arabic{page}}
\setcounter{page}{1}

\author{
   Polina Vinogradova \\ {\small \texttt{polina.vinogradova@iohk.io}} \\
   Andre Knispel \\ {\small \texttt{andre.knispel@iohk.io}} \\
   }

\date{}

\maketitle

\begin{abstract}
This document presents modifications to the Shelley ledger
specification
(see~\cite{shelley_spec}) that enable it to support native
Multi-Assets (see~\cite{multi_currency})
using a small scripting language that is fully specified
by the ledger rules.
\end{abstract}

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

Alex Byaly,
Manuel Chakravarty,
Nicholas Clarke,
Jared Corduan,
Duncan Coutts,
Matthias G\"{u}demann,
Kevin Hammond,
Philipp Kant,
Jann Mueller,
Michael Peyton Jones,
Tim Sheard