zec
/
zips
mirror of https://github.com/zcash/zips.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Cosmetics. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2022-06-06 20:21:50 +01:00
parent 8bc9244a47
commit 984c14da9e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
protocol/protocol.tex
View File

@ -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