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

Cosmetic indexing fixes. 

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2022-04-27 21:51:16 +01:00
parent 3c3da6d6dc
commit 11b44b4490
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
protocol/protocol.tex
View File

@ -3621,8 +3621,8 @@ a \defining{\merkleHash} of size $\MerkleHashLength{Sprout}$\sapling{ or
$\MerkleHashLength{Sapling}$}\nufive{ or $\MerkleHashLength{Orchard}$} bits.
The \defining{\merkleLayer} numbered $h$, counting from \merkleLayer $0$ at the
\merkleRoot, has $2^h$ \merkleNodes with \defining{\merkleIndices} $0$ to $2^h-1$
inclusive. The \defining{\merkleHash} associated with the \merkleNode at
\merkleIndex $i$ in \merkleLayer $h$ is denoted $\MerkleNode{h}{i}$.
inclusive. The \merkleHash associated with the \merkleNode at \merkleIndex $i$ in
\merkleLayer $h$ is denoted $\MerkleNode{h}{i}$.
The \merkleIndex of a \notesCommitment at the leafmost layer
($\MerkleDepth{Sprout}$\sapling{ or $\MerkleDepth{Sapling}$}\nufive{ or $\MerkleDepth{Orchard}$})
@ -6158,9 +6158,9 @@ $\vpubOld$ takes value from the \transparentTxValuePool and $\vpubNew$ adds valu
the \transparentTxValuePool. As a result, $\vpubOld$ is treated like an \emph{output}
value, whereas $\vpubNew$ is treated like an \emph{input} value.
\defining{As defined in \cite{ZIP-209}, the \SproutChainValuePoolBalance for a given
As defined in \cite{ZIP-209}, the \defining{\SproutChainValuePoolBalance} for a given
\blockChain is the sum of all $\vpubOld$ field values for \transactions in the \blockChain,
minus the sum of all $\vpubNew$ fields values for transactions in the \blockChain.}
minus the sum of all $\vpubNew$ fields values for transactions in the \blockChain.
\vspace{-2ex}
\consensusrule{If the \SproutChainValuePoolBalance would become negative in the \blockChain
@ -6208,9 +6208,9 @@ reverse. As a result, positive $\vBalance{Sapling}$ is treated like an \emph{inp
\transparentTxValuePool, whereas negative $\vBalance{Sapling}$ is treated like an \emph{output}
from that pool.
\defining{As defined in \cite{ZIP-209}, the \SaplingChainValuePoolBalance for a given
As defined in \cite{ZIP-209}, the \defining{\SaplingChainValuePoolBalance} for a given
\blockChain is the negation of the sum of all $\valueBalance{Sapling}$ field values for
\transactions in the \blockChain.}
\transactions in the \blockChain.
\vspace{-2ex}
\consensusrule{If the \SaplingChainValuePoolBalance would become negative in the \blockChain
@ -6417,9 +6417,9 @@ reverse. As a result, positive $\vBalance{Orchard}$ is treated like an \emph{inp
\transparentTxValuePool, whereas negative $\vBalance{Orchard}$ is treated like an \emph{output}
from that pool.
\defining{Similarly to the \SaplingChainValuePoolBalance defined in \cite{ZIP-209}, the
\OrchardChainValuePoolBalance for a given \blockChain is the negation of the sum of all
$\valueBalance{Orchard}$ field values for \transactions in the \blockChain.}
Similarly to the \SaplingChainValuePoolBalance defined in \cite{ZIP-209}, the
\defining{\OrchardChainValuePoolBalance} for a given \blockChain is the negation of the
sum of all $\valueBalance{Orchard}$ field values for \transactions in the \blockChain.
\vspace{-1ex}
\consensusrule{If the \OrchardChainValuePoolBalance would become negative in the \blockChain