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

Clarify notation by changing ℓ_rcm to ℓ^Sprout_rcm. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-04-29 01:16:29 +01:00
parent 3034a2a662
commit ac16945288
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
protocol/protocol.tex
View File

@ -1610,7 +1610,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg
\newcommand{\NoteCommitRand}{\mathsf{rcm}}
\newcommand{\NoteCommitRandRepr}{{\NoteCommitRand\Repr}}
\newcommand{\NoteCommitRandBytes}{\bytes{\NoteCommitRand}}
\newcommand{\NoteCommitRandLength}{\mathsf{\ell_{\NoteCommitRand}}}
\newcommand{\NoteCommitRandLengthSprout}{\mathsf{\ell^{Sprout}_{\NoteCommitRand}}}
\newcommand{\NoteCommitRandOld}[1]{\NoteCommitRand^\mathsf{old}_{#1}}
\newcommand{\NoteCommitRandNew}[1]{\NoteCommitRand^\mathsf{new}_{#1}}
\newcommand{\NoteCommitRandOrSeedBytes}{\notcanopy{\NoteCommitRand}\canopy{\NoteSeedBytes}}
@ -2872,7 +2872,7 @@ The following integer constants will be instantiated in \crossref{constants}:
$\MerkleDepth{Sprout}$,\sapling{ $\MerkleDepth{Sapling}$,}\nufive{ $\MerkleDepth{Orchard}$,}
$\MerkleHashLength{Sprout}$,\sapling{ $\MerkleHashLength{Sapling}$,}\nufive{ $\MerkleHashLength{Orchard}$,}
$\NOld$, $\NNew$, $\ValueLength$, $\hSigLength$, $\PRFOutputLengthSprout$,\sapling{ $\PRFOutputLengthExpand$,
$\PRFOutputLengthNfSapling$,} $\NoteCommitRandLength$, $\RandomSeedLength$, $\AuthPrivateLength$,
$\PRFOutputLengthNfSapling$,} $\NoteCommitRandLengthSprout$, $\RandomSeedLength$, $\AuthPrivateLength$,
$\NoteUniquePreRandLength$,\sapling{ $\SpendingKeyLength$, $\DiversifierLength$,\nufive{ $\DiversifierKeyLength$,}
$\InViewingKeyLength{Sapling}$, $\OutViewingKeyLength$, $\ScalarLength{Sapling}$,\nufive{ $\ScalarLength{Orchard}$, $\BaseLength{Orchard}$,}}
$\MAXMONEY$,\blossom{ $\BlossomActivationHeight$,}\strut\canopy{ $\CanopyActivationHeight$, $\ZIPTwoOneTwoGracePeriod$,}
@ -4245,10 +4245,10 @@ be a function satisfying the following security requirements.
\end{pnotes}
\vspace{1ex}
Let $\NoteCommitRandLength$, $\MerkleHashLength{Sprout}$, $\PRFOutputLengthSprout$,
Let $\NoteCommitRandLengthSprout$, $\MerkleHashLength{Sprout}$, $\PRFOutputLengthSprout$,
and $\ValueLength$ be as defined in \crossref{constants}.
Define $\NoteCommitTrapdoor{Sprout} := \bitseq{\NoteCommitRandLength}$ and
Define $\NoteCommitTrapdoor{Sprout} := \bitseq{\NoteCommitRandLengthSprout}$ and
$\NoteCommitOutput{Sprout} := \bitseq{\MerkleHashLength{Sprout}}$.
\introlist
@ -7830,7 +7830,7 @@ Define:
\item $\PRFOutputLengthExpand \typecolon \Nat := 512$
\item $\PRFOutputLengthNfSapling \typecolon \Nat := 256$
} %sapling
\item $\NoteCommitRandLength \typecolon \Nat := 256$
\item $\NoteCommitRandLengthSprout \typecolon \Nat := 256$
\item $\RandomSeedLength \typecolon \Nat := 256$
\item $\AuthPrivateLength \typecolon \Nat := 252$
\item $\NoteUniquePreRandLength \typecolon \Nat := 252$
@ -14258,7 +14258,7 @@ Peter Newell's illustration of the Jubjub bird, from \cite{Carroll1902}.
$\NoteNullifierRand$, $\EphemeralPrivate$, and $\NoteCommitRand$ in \Orchard.
This was originally intended and as described in \cite[Section 3.5 Nullifiers]{Zcash-Orchard}.
} %nufive
\item No changes before \NUFive.
\item Clarify notation by changing $\mathsf{\ell_{\NoteCommitRand}}$ to $\NoteCommitRandLengthSprout$.
\end{itemize}