From 11b44b449073ea885e0e8b42a71c1699f44f55cd Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Wed, 27 Apr 2022 21:51:16 +0100 Subject: [PATCH] Cosmetic indexing fixes. Signed-off-by: Daira Hopwood --- protocol/protocol.tex | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/protocol/protocol.tex b/protocol/protocol.tex index eefbced5..dd0e2a1a 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -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