diff --git a/protocol/protocol.tex b/protocol/protocol.tex index 46e38258..7a613881 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -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