Add note about Merkle tree validity.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
zcash · Apr 11, 2016 · 859059f · 859059f
1 parent db6607a
commit 859059f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/protocol/protocol.pdf b/protocol/protocol.pdf
diff --git a/protocol/protocol.tex b/protocol/protocol.tex
@@ -1138,6 +1138,9 @@ \subsection{\JoinSplitCircuit{} and Proofs}
 $\treepath{i}$ must be a valid \merklePath of depth $\MerkleDepth$, as defined in
 \crossref{merkle}, from $\Commitment(\cOld{i})$ to \noteCommitmentTree root $\rt$.
 
+\textbf{Note:} Merkle path validity covers both conditions 1. (a) and 1. (d) of the NP statement
+given in section 4.2 of \cite{ZerocashOakland}.
+
 \subparagraph{Balance}
 
 $\changed{\vpubOld\; +} \vsum{i=1}{\NOld} \vOld{i} = \vpubNew + \vsum{i=1}{\NNew} \vNew{i}$.