From 745eaa76413679cd55ad6f41450acc79d73c5f7b Mon Sep 17 00:00:00 2001 From: Sasha Bogicevic Date: Wed, 3 Jul 2024 14:37:04 +0200 Subject: [PATCH] Spec: use m' instead of n for the fanout redeemer outputs --- spec/onchain.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/spec/onchain.tex b/spec/onchain.tex index 65523f685b9..e678679c531 100644 --- a/spec/onchain.tex +++ b/spec/onchain.tex @@ -579,13 +579,13 @@ \subsection{Fan-Out Transaction} \end{figure} \noindent The state-machine validator $\nuHead$ is spent with -$\redeemerHead = (\mathsf{fanout}, m\red{, n})$, where $m$ \red{and $n$ are +$\redeemerHead = (\mathsf{fanout}, m\red{, m'})$, where $m$ \red{and $m'$ are outputs to distribute from the $\stClosed$ state}, and checks: \begin{menumerate} \item State is advanced from $\datumHead \sim \stClosed$ to terminal state $\stFinal$: % XXX: What does this actually mean? \[ - (\stClosed,\cid,\hydraKeys,\cPer,\red{v, s,}\eta,\red{\eta_{\Delta}},\contesters,\Tfinal) \xrightarrow[m\red{,n}]{\stFanout} \stFinal + (\stClosed,\cid,\hydraKeys,\cPer,\red{v, s,}\eta,\red{\eta_{\Delta}},\contesters,\Tfinal) \xrightarrow[m\red{,m'}]{\stFanout} \stFinal \] \item The first $m$ outputs are distributing funds according to $\eta$. That is, the outputs exactly correspond to the UTxO canonically combined $U^{\#}$ (see @@ -597,12 +597,12 @@ \subsection{Fan-Out Transaction} $\eta_{\Delta}$. That is, the outputs exactly correspond to the UTxO canonically combined $U^{\#}_{\Delta}$ (see Section~\ref{sec:collect-tx}): \[ - \eta_{\Delta} = U^{\#}_{\Delta} = \hash(\bigoplus_{j=m}^{m+n} \bytes(o_{j})) + \eta_{\Delta} = U^{\#}_{\Delta} = \hash(\bigoplus_{j=m}^{m+m'} \bytes(o_{j})) \] } \item Transaction is posted after contestation deadline $\txValidityMin > \Tfinal$. \item All tokens are burnt - $|\{\cid \mapsto \cdot \mapsto -1\} \in \txMint| = n + 1$. + $|\{\cid \mapsto \cdot \mapsto -1\} \in \txMint| = m' + 1$. \end{menumerate} \noindent The $\muHead(\seed)$ minting policy governs the burning of tokens via