mirror of https://github.com/zcash/zips.git
Improved cross-referencing in Pedersen hash section.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
parent
74c39f073d
commit
bc48ebe898
|
@ -5993,9 +5993,9 @@ and of Mihir Bellare, Oded Goldreich, and Shafi Goldwasser in \cite{BGG1995},
|
||||||
with optimizations for efficient instantiation in \zkSNARKCircuits
|
with optimizations for efficient instantiation in \zkSNARKCircuits
|
||||||
by Sean Bowe and Daira Hopwood.
|
by Sean Bowe and Daira Hopwood.
|
||||||
|
|
||||||
$\PedersenHash$ is used in the \incrementalMerkleTree over \noteCommitments
|
$\PedersenHash$ is used in the definitions of \xPedersenCommitments
|
||||||
(\crossref{merkletree}) and in the definition of \xPedersenCommitments
|
(\crossref{concretewindowedcommit}), and of the \hashFunction for the
|
||||||
(\crossref{concretewindowedcommit}).
|
\Sapling \incrementalMerkleTree (\crossref{saplingmerklecrh}).
|
||||||
|
|
||||||
Let $\GroupJ$, $\SubgroupJ$, $\ZeroJ$, $\ParamJ{q}$, $\ParamJ{r}$, $\ParamJ{a}$, and $\ParamJ{d}$ be as defined in \crossref{jubjub}.
|
Let $\GroupJ$, $\SubgroupJ$, $\ZeroJ$, $\ParamJ{q}$, $\ParamJ{r}$, $\ParamJ{a}$, and $\ParamJ{d}$ be as defined in \crossref{jubjub}.
|
||||||
|
|
||||||
|
@ -9784,6 +9784,10 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
|
||||||
extractors $\Extractor{\Adversary}$.
|
extractors $\Extractor{\Adversary}$.
|
||||||
\item Correct a use of $\GroupJ$ that should have been $\MontCurve$ in the proof of
|
\item Correct a use of $\GroupJ$ that should have been $\MontCurve$ in the proof of
|
||||||
\theoremref{thmdistinctxcriterion}.
|
\theoremref{thmdistinctxcriterion}.
|
||||||
|
\item Address some of the findings of the QED-it report:
|
||||||
|
\begin{itemize}
|
||||||
|
\item Improved cross-referencing in \crossref{concretepedersenhash}.
|
||||||
|
\end{itemize}
|
||||||
} %sapling
|
} %sapling
|
||||||
\end{itemize}
|
\end{itemize}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue