Small spec fixes

IntersectMBO · May 7, 2024 · 7041a50 · 7041a50
1 parent c292dc6
commit 7041a50
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/eras/babbage/formal-spec/remove-overlay.tex b/eras/babbage/formal-spec/remove-overlay.tex
@@ -165,7 +165,7 @@ \section{Removal of the Overlay Schedule}
         \eta_v \\
         \eta_c \\
         \end{array}\right)}
-        \trans{\hyperref[fig:rules:update-nonce]{updn}}{\fun{slot}~\var{bhb}}
+        \trans{\hyperref[fig:rules:update-nonce]{updn}}{\fun{bslot}~\var{bhb}}
         {\left(\begin{array}{c}
         \eta_v' \\
         \eta_c' \\

diff --git a/eras/shelley/formal-spec/chain.tex b/eras/shelley/formal-spec/chain.tex
@@ -1377,7 +1377,7 @@ \subsection{Protocol Transition}
         \eta_v \\
         \eta_c \\
         \end{array}\right)}
-        \trans{\hyperref[fig:rules:update-nonce]{updn}}{\fun{slot}~\var{bhb}}
+        \trans{\hyperref[fig:rules:update-nonce]{updn}}{\fun{bslot}~\var{bhb}}
         {\left(\begin{array}{c}
         \eta_v' \\
         \eta_c' \\

diff --git a/eras/shelley/formal-spec/crypto-primitives.tex b/eras/shelley/formal-spec/crypto-primitives.tex
@@ -231,7 +231,7 @@ \section{Cryptographic primitives}
   \begin{equation*}
     \begin{array}{r@{~\in~}lr}
       \seedOp & \Seed \to \Seed \to \Seed & \text{binary seed operation} \\
-      \vrf{\T}{}{} & \SKey \to \Seed \to \T\times\Proof
+      \vrf{\T}{}{} & \SKey \to \Seed \to \Proof\times\T
                    & \text{verifiable random function} \\
                    %
       \verifyVrf{\T}{}{}{} & \VKey \to \Seed \to \Proof\times\T \to \Bool