From 984c14da9e24ead55f43049b0580020c812e01ac Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Mon, 6 Jun 2022 20:21:50 +0100 Subject: [PATCH] Cosmetics. Signed-off-by: Daira Hopwood --- protocol/protocol.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/protocol/protocol.tex b/protocol/protocol.tex index 24229786..19448a74 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -13279,6 +13279,7 @@ $\EquihashGen{}$ is instantiated in \crossref{equihashgen}. Define $\ItoBEBSP{} \typecolon (\ell \typecolon \Nat) \times \binaryrange{\ell} \rightarrow \bitseq{\ell}$ as in \crossref{endian}. +\introsection A \defining{\validEquihashSolution} is then a sequence $i \typecolon \range{1}{N}^{2^k}$ that satisfies the following conditions: @@ -13286,7 +13287,6 @@ satisfies the following conditions: $\vxor{j=1}{2^k} X_{i_j} = 0$. \callout{}{Algorithm Binding conditions} -\introlist \begin{itemize} \item For all $r \in \range{1}{k\!-\!1}$, for all $w \in \binaryrange{k-r}: \smash{\vxor{j=1}{2^r}} X_{i_{w \mult \scalebox{0.65}[0.6]{$2^r$} + j}}$ has $\frac{n \mult r}{k+1}$ leading zeros; and