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

Correct the set of inputs to PRF^expand used for ZIP 32 and Orchard in \crossref{abstractprfs}. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-03-31 20:57:08 +01:00
parent de0bc97bb2
commit 3826d43930
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
protocol/protocol.tex
View File

@ -3753,7 +3753,7 @@ $\PRFnf{Orchard}{} $&$\typecolon\; \NullifierKeyTypeOrchard $&$\times\; \N
$\PRFexpand{}$ is used in the following places:
\begin{itemize}
\item \crossref{saplingkeycomponents}, with inputs $[0]$, $[1]$, $[2]$, and $[3, i \typecolon \byte]$;
\nufiveonwarditem{in \crossref{orchardkeycomponents}, with inputs $[6]$, $[7]$, $[8]$, and $[\hexint{81}]$
\nufiveonwarditem{in \crossref{orchardkeycomponents}, with inputs $[6]$, $[7]$, $[8]$, and $[\hexint{82}]$
(the last of these is also specified in \cite{ZIP-32});}
\notnufive{
\item sending (\crossref{saplingsend}) and receiving (\crossref{saplingandorchardinband}) \Sapling \notes,
@ -3765,7 +3765,7 @@ $\PRFexpand{}$ is used in the following places:
$[9]$};
} %notbeforenufive
\item in \cite{ZIP-32}, with inputs $[0]$, $[1]$, $[2]$ (intentionally matching \shortcrossref{saplingkeycomponents}),
$[t \typecolon \range{16}{22}]$, and $[\hexint{80}]$.
$[t \typecolon \range{16}{22}]$,\notnufive{ and} $[\hexint{80}]$\nufive{, and $[\hexint{81}]$}.
\end{itemize}
$\PRFock{Sapling}{}$\notnufive{ is}\nufive{ and $\PRFock{Orchard}{}$ are} used in \crossref{saplingandorchardinband}.
@ -14196,6 +14196,8 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
spent in an \actionTransfer.
\item Section \crossref{concreteorchardkdf} should be in \nufivecolorname.
} %nufive
\item Correct the set of inputs to $\PRFexpand{}$ used for \cite{ZIP-32}\nufive{ and \Orchard}
in \crossref{abstractprfs}.
\item Write the caution about linkage between the abstract and concrete protocols in
\crossref{cautionlinkage}.
\item Update the \Sprout key component diagram in \crossref{addressesandkeys} to remove