Allow anchoring to any previous output treestate in the same transact…

…ion. closes zcash/zcash#604 Signed-off-by: Daira Hopwood <daira@jacaranda.org>
zcash · May 6, 2016 · d6d25de · d6d25de
1 parent 9bb4410
commit d6d25de
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/protocol/protocol.tex b/protocol/protocol.tex
@@ -839,13 +839,10 @@ \subsection{The Blockchain}
 
 The total value of the outputs must not exceed the total value of the inputs.
 
-The \anchor of the \changed{first} \joinSplitDescription in a \transaction must refer to
-some earlier \block's final \treestate.
-
 \changed{
-The \anchor of each subsequent \joinSplitDescription may refer either to some earlier
-\block's final \treestate, or to the output \treestate of the immediately preceding
-\joinSplitDescription.
+The \anchor of each \joinSplitDescription in a \transaction must refer to either
+some earlier \block's final \treestate, or to the output \treestate of any prior
+\joinSplitDescription in the same \transaction.
 }
 
 These conditions act as constraints on the blocks that a \fullnode will