Clarify reviewer question on ITMs vs ITIs

Author: dionyziz

preliminaries.tex

@@ -59,7 +59,11 @@ \section{Preliminaries \& Model}\label{sec:prelims}
 
 \begin{definition}[Distributed Ledger Protocol]
   A \emph{distributed ledger protocol} is an
-  interactive Turing machine which exposes the following
+  interactive Turing machine\footnote{%
+The ITM captures the behavior (code) of an honest party in the protocol, and
+an \emph{execution} contains multiple honest Interactive Turing Machine Instances (ITIs)
+all running the same code~\cite{uc}.}
+  which exposes the following
   methods on each party:
   \begin{itemize}
     \item $\execute()$: executes a single round of the protocol, during

pubs.bib

@@ -1625,4 +1625,13 @@ @inproceedings{gearbox
   timestamp    = {Sat, 17 Dec 2022 01:15:29 +0100},
   biburl       = {https://dblp.org/rec/conf/ccs/DavidM0NT22.bib},
   bibsource    = {dblp computer science bibliography, https://dblp.org}
+}
+
+@inproceedings{uc,
+  title={{Universally composable security: A new paradigm for cryptographic protocols}},
+  author={Canetti, Ran},
+  booktitle={Proceedings 42nd IEEE Symposium on Foundations of Computer Science},
+  pages={136--145},
+  year={2001},
+  organization={IEEE}
 }