Permalink
Browse files

Add injectivity constraint to txid

  • Loading branch information...
dnadales committed Jan 11, 2019
1 parent 42f5ec4 commit d1051c372a836fb09e2347d09bcf6ab540aa5379
Showing with 7 additions and 0 deletions.
  1. +7 −0 specs/ledger/latex/utxo.tex
@@ -80,6 +80,13 @@ \section{UTxO}
\fun{txSize} & \Tx \to \mathbb{N} & \text{abstract size of a transaction}
\end{array}
\end{equation*}
%
\emph{Constraints}
\begin{equation}
\label{eq:txid-injective}
\forall \var{tx_i}, \var{tx_j} \cdot
\txid{\var{tx_i}} = \txid{\var{tx_j}} \Rightarrow \var{tx_i} = \var{tx_j}
\end{equation}
\caption{Definitions used in the UTxO transition system}
\label{fig:defs:utxo}
\end{figure*}

0 comments on commit d1051c3

Please sign in to comment.