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

In \crossref{concretesinsemillahash}, declare use of LEBS2IP instead of LEOS2IP. 

Signed-off-by: Daira-Emma Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira-Emma Hopwood 2024-05-12 03:01:07 +01:00
parent be1b95e76e
commit a1657b29c3
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
protocol/protocol.tex
View File

@ -8881,7 +8881,7 @@ Let $\Uncommitted{Orchard}$ be as defined in \crossref{constants}.
\vspace{-0.25ex}
Let $\ItoLEOSP{} \typecolon (\ell \typecolon \Nat) \times \binaryrange{\ell} \rightarrow \byteseq{\sceiling{\ell/8}}$
and $\LEOStoIP{} \typecolon (\ell \typecolon \Nat \suchthat \ell \bmod 8 = 0) \times \byteseq{\ell/8} \rightarrow \binaryrange{\ell}$
and $\LEBStoIP{} \typecolon (\ell \typecolon \Nat) \times \bitseq{\ell} \rightarrow \binaryrange{\ell}$
be as defined in \crossref{endian}.
\vspace{0.5ex}
@ -14817,6 +14817,7 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
\item Add the hyphen in \nh{Daira-Emma} Hopwood.
\item Correct some author lists in the References.
\item Prevent incorrect line-breaking on hyphens.
\item In \crossref{concretesinsemillahash}, declare use of $\LEBStoIP{}$ instead of $\LEOStoIP{}$.
\end{itemize}