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

Give cross-references to \crossref{notation} where $\optsqrt$ and $\possqrt$ are used. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-06-25 19:19:00 +01:00
parent f31b335fe9
commit 5dff090737
1 changed files with 14 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
protocol/protocol.tex
View File

@ -505,8 +505,8 @@
\setbox2=\hbox{\vrule height\ht0 depth -\dimen0}%
{\box0\lower0.4pt\box2}}
\newcommand{\possqrt}[1]{{}^+\hspace{-0.7em}\hksqrt{#1\vphantom{b}}}
\newcommand{\optsqrt}[1]{{}^?\hspace{-0.7em}\hksqrt{#1\vphantom{b}}}
\newcommand{\possqrt}[1]{\,{}^+\hspace{-0.7em}\hksqrt{#1\vphantom{b}}}
\newcommand{\optsqrt}[1]{\,{}^?\hspace{-0.7em}\hksqrt{#1\vphantom{b}}}
\newcommand{\sbitbox}[2]{\bitbox{#1}{\strut #2}}
@ -9473,6 +9473,8 @@ curve's prime-order subgroup).
Let $\EdDSABase$ be the base point given in \cite{BDLSY2012}.
Define the notation $\optsqrt{\,\paramdot\,}$ as in \crossref{notation}.
Define $\ItoLEOSP{}$, $\LEOStoBSP{}$, and $\LEBStoIP{}$ as in \crossref{endian}.
Define $\reprBytesEdSpecific \typecolon \GroupEdSpecific \rightarrow \ReprEdSpecificBytes$ such
@ -10525,6 +10527,8 @@ $\GroupJ$ has order $\ParamJ{h} \smult \ParamJ{r}$.
Let $\ellJ := 256$.
Define the notation $\optsqrt{\,\paramdot\,}$ as in \crossref{notation}.
\introlist
Define $\ItoLEBSP{} \typecolon (\ell \typecolon \Nat) \times \binaryrange{\ell} \rightarrow \bitseq{\ell}$
as in \crossref{endian}, and similarly for
@ -10764,6 +10768,8 @@ For the set of points on \Vesta of order $\ParamV{r}$ (which excludes $\ZeroV$),
Let $\ellP = \ellV := 256$.
Define the notation $\optsqrt{\,\paramdot\,}$ as in \crossref{notation}.
\introlist
Define $\ItoLEBSP{} \typecolon (\ell \typecolon \Nat) \times \binaryrange{\ell} \rightarrow \bitseq{\ell}$
as in \crossref{endian}, and similarly for
@ -10950,6 +10956,8 @@ Let $\IsoMapG \typecolon \GroupIsoG \rightarrow \GroupG{}$ be the isogeny map gi
\vspace{2ex}
Let $\BlakeTwob{512} \typecolon \byteseq{16} \times \byteseqs \rightarrow \byteseq{\ell/8}$ be as defined in \crossref{concreteblake2}.
Define the notation $\optsqrt{\,\paramdot\,}$ as in \crossref{notation}.
\vspace{-0.25ex}
Let $\BEOStoIP{}$ be as defined in \crossref{endian}.
@ -14374,7 +14382,8 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
\item Refine the key components diagram in \crossref{addressesandkeys} to show that \Orchard
\incomingViewingKeys include both $\DiversifierKey$ and $\InViewingKey$.
} % nufive
\item No changes before \NUFive.
\item Give cross-references to \crossref{notation} where $\optsqrt{\,\paramdot\,}$ and
$\possqrt{\,\paramdot\,}$ are used.
\end{itemize}
@ -16587,6 +16596,8 @@ curve arithmetic.
\lsubsubsubsection{ctEdwards \lrarrow\ Montgomery conversion}{cctconversion}
\vspace{-1ex}
Define the notation $\possqrt{\,\paramdot\,}$ as in \crossref{notation}.
Define $\CtEdwardsToMont \typecolon \AffineCtEdwardsJubjub \rightarrow \AffineMontJubjub$
as follows: