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

Cosmetics. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2021-07-29 17:27:36 +01:00
parent a6fd0153d2
commit 045a3a9e54
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
protocol/protocol.tex
View File

@ -3563,7 +3563,7 @@ Let $\MerkleHashLength{Sprout}$, $\MerkleDepth{Sprout}$\sapling{, $\MerkleHashLe
$\MerkleDepth{Sapling}$}\nufive{, $\MerkleHashLength{Orchard}$, and $\MerkleDepth{Orchard}$} be as
defined in \crossref{constants}.
\vspace{-2ex}
\vspace{-1ex}
\begin{center}
\includegraphics[scale=.4]{incremental_merkle}
\end{center}
@ -5544,7 +5544,7 @@ if for the next \block, $\BlockHeight < \CanopyActivationHeight$, or $\hexint{02
if $\BlockHeight \geq \CanopyActivationHeight$.
}
\introlist
\intropart
For each \outputDescription, the sender selects a value $\Value \typecolon \range{0}{\MAXMONEY}$
and a destination \Sapling \shieldedPaymentAddress $(\Diversifier, \DiversifiedTransmitPublic)$, and then
performs the following steps:
@ -5702,8 +5702,10 @@ The encoded \transaction is submitted to the peer-to-peer network.
\lsubsection{Dummy Notes}{dummynotes}
\vspace{-1ex}
\lsubsubsection{Dummy Notes (\SproutText)}{sproutdummynotes}
\vspace{-1ex}
The fields in a \joinSplitDescription allow for $\NOld$ input \notes, and
$\NNew$ output \notes. In practice, we may wish to encode a \joinSplitTransfer
with fewer input or output \notes. This is achieved using \defining{\dummyNotes}.
@ -5724,14 +5726,16 @@ is constructed as follows:
\begin{itemize}
\item Generate a new uniformly random \spendingKey $\AuthPrivateOld{i} \leftarrowR \bitseq{\AuthPrivateLength}$
and derive its \payingKey $\AuthPublicOld{i}$.
\vspace{-0.4ex}
\vspace{-0.5ex}
\item Set $\vOld{i} = 0$.
\vspace{-0.4ex}
\vspace{-0.5ex}
\item Choose uniformly random $\NoteUniqueRandOld{i} \leftarrowR \PRFOutputSprout$
and $\NoteCommitRandOld{i} \leftarrowR \NoteCommitGenTrapdoor{Sprout}()$.
\item Compute $\nfOld{i} = \PRFnf{Sprout}{\AuthPrivateOld{i}}(\NoteUniqueRandOld{i})$.
\vspace{-0.25ex}
\item Let $\TreePath{i}$ be a \dummy \merklePath for the
\auxiliaryInput to the \joinSplitStatement (this will not be checked).
\vspace{0.25ex}
\item When generating the \joinSplitProof\!\!, set $\EnforceMerklePath{i}$ to $0$.
\end{itemize}
@ -6656,6 +6660,7 @@ Let $\GroupPHash$ be as defined in \crossref{concretegrouphashpallasandvesta}.
Define $\NullifierBaseOrchard := \GroupPHash\Of{\ascii{z.cash:Orchard}, \ascii{K}}\,$.
\introlist
To avoid repetition, we define a function $\DeriveNullifierAlg \typecolon
\NullifierKeyTypeOrchard \times \NoteUniqueRandTypeOrchard \times \NoteNullifierRandType \times \GroupP \rightarrow \GF{\ParamP{q}}$
as follows: