protocol-parameters.tex

\section{Protocol Parameters}

In Shelley, the size of a UTxO entry was bounded from above, which
will not be the case anymore. The protocol parameter
$\var{minUTxOValue}$ was used to prevent an attack on the UTxO size,
but as there is no upper bound on the memory usage of a UTxO entry
anymore, this parameter will be retired in favor of two new
parameters, $\var{adaPerUTxOByte}$ and $\var{outputSizeConstants}$.


\begin{figure*}[htb]
  \emph{Protocol Parameters}
  %
  \begin{equation*}
      \begin{array}{r@{~\in~}lr}
        \var{adaPerUTxOByte} \mapsto \nonnegReals & \PParams & \text{conversion factor for UTxO storage space}\\
        \var{outputSizeConstants} \mapsto \Z \times \Z \times \Z & \PParams & \text{constants for outputSize}
      \end{array}
  \end{equation*}
  %
  \emph{Accessor Functions}
  %
  \begin{center}
    \fun{adaPerUTxOByte},
    \fun{outputSizeConstants}
  \end{center}
  %
  \caption{Definitions Used in Protocol Parameters}
  \label{fig:defs:protocol-parameters}
\end{figure*}