Fix order of arguments in the call to vrfChecks

IntersectMBO · May 7, 2024 · f9b03fa · f9b03fa
1 parent 7c07c27
commit f9b03fa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/formal-spec/chain.tex b/docs/formal-spec/chain.tex
@@ -473,7 +473,7 @@ \subsection{Verifiable Random Function}
   \begin{align*}
       & \fun{vrfChecks} \in \Nonce \to \BHBody \to \Bool \\
       & \fun{vrfChecks}~\eta_0~\var{bhb} =
-          \verifyVrf{\VRFRes}{\var{vrfK}}{((\slotToSeed{slot})~\XOR~(\nonceToSeed{\eta_0}))}{(\var{value},~\var{proof}}) \\
+          \verifyVrf{\VRFRes}{\var{vrfK}}{((\slotToSeed{slot})~\XOR~(\nonceToSeed{\eta_0}))}{(\var{proof},~\var{value}}) \\
       & ~~~~\where \\
       & ~~~~~~~~~~\var{slot} \leteq \hBSlot{bhb} \\
       & ~~~~~~~~~~\var{vrfK} \leteq \fun{hBVrfVk}~\var{bhb} \\