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

Add the hashes of parameter files for Sapling. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2018-08-05 10:06:52 +01:00
parent af90f0c4af
commit 34cf757891
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
protocol/protocol.tex
View File

@ -7904,14 +7904,17 @@ activation.}
\subsection{\SaplingZKParameters} \label{saplingparameters} \subsection{\SaplingZKParameters} \label{saplingparameters}
\bellman \cite{Bowe-bellman} encodes the \provingKey and \verifyingKey for a \bellman \cite{Bowe-bellman} encodes the \provingKey and \verifyingKey for a
\zkSNARKCircuit in a single parameters file. The $\SHAFull$ hashes of this file \zkSNARKCircuit in a single parameters file. The $\BlakeTwob{512}$ hashes of this file
for the \Sapling \spendCircuit and \outputCircuit, and for the implementation of for the \Sapling \spendCircuit and \outputCircuit, and for the implementation of
the \Sprout \joinSplitCircuit used after \Sapling activation, are respectively: the \Sprout \joinSplitCircuit used after \Sapling activation, are respectively:
\begin{lines} \begin{lines}
\item[] \texttt{xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx sapling-spend.params} \item[] \texttt{8270785a1a0d0bc77196f000ee6d221c9c9894f55307bd9357c3f0105d31ca63} \\
\item[] \texttt{xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx sapling-output.params} \texttt{991ab91324160d8f53e2bbd3c2633a6eb8bdf5205d822e7f3f73edac51b2b70c sapling-spend.params}
\item[] \texttt{xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx sprout-groth16.params} \item[] \texttt{657e3d38dbb5cb5e7dd2970e8b03d69b4787dd907285b5a7f0790dcc8072f60b} \\
\texttt{f593b32cc2d1c030e00ff5ae64bf84c5c3beb84ddc841d48264b4a171744d028 sapling-output.params}
\item[] \texttt{e9b238411bd6c0ec4791e9d04245ec350c9c5744f5610dfcce4365d5ca49dfef} \\
\texttt{d5054e371842b3f88fa1b9d7e8e075249b3ebabd167fa8b0f3161292d36c180a sprout-groth16.params}
\end{lines} \end{lines}
These parameters were obtained by a multi-party computation described in \todo{}. These parameters were obtained by a multi-party computation described in \todo{}.
@ -9569,6 +9572,7 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
\begin{itemize} \begin{itemize}
\item No changes to \Sprout. \item No changes to \Sprout.
\sapling{ \sapling{
\item Add the hashes of parameter files for \Sapling.
\item Add cross references for parameters and functions used in $\RedDSA$ batch verification. \item Add cross references for parameters and functions used in $\RedDSA$ batch verification.
} %sapling } %sapling
\item \texttt{Makefile} changes: name the PDF file for the \Sprout version of the specification as \texttt{sprout.pdf}, \item \texttt{Makefile} changes: name the PDF file for the \Sprout version of the specification as \texttt{sprout.pdf},