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

Remove redundant crossref. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2018-04-23 03:52:08 +01:00
parent 0481da1724
commit 76e1213c8b
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
protocol/protocol.tex
View File

@ -2512,9 +2512,8 @@ Subtraction works similarly.
Therefore, balance can be enforced by adding all of the \valueCommitments for
\shieldedInputs, subtracting all of the \valueCommitments for \shieldedOutputs,
and proving by use of a \bindingSignature (as described in \crossref{saplingbalance}
and \crossref{bindingsig}) that the result commits to a value consistent with the
net \transparent value change.
and proving by use of a \bindingSignature (as described in \crossref{bindingsig})
that the result commits to a value consistent with the net \transparent value change.
This approach allows all of the \zkSNARK statements to be independent of
each other, potentially increasing opportunities for precomputation.
@ -2533,8 +2532,8 @@ for the whole \transaction to balance.
\vspace{1.5ex}
\begin{consensusrules}
\item \vspace{-1ex} The \transaction{} \MUST balance as specified in \crossref{saplingbalance}.
\item \vspace{-1ex} The \anchor of each \spendDescription{} \MUST refer to some earlier \block's final
\item \transaction{} \MUST balance as specified in \crossref{saplingbalance}.
\item The \anchor of each \spendDescription{} \MUST refer to some earlier \block's final
\Sapling \treestate.
\end{consensusrules}
} %sapling