CheckProofBatch doesn't support removing leaves

vocdoni · Nov 5, 2024 · 4d8401e · 4d8401e
1 parent c3e0e71
commit 4d8401e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tree/arbo/proof.go b/tree/arbo/proof.go
@@ -247,6 +247,8 @@ func CalculateProofNodes(hashFunc HashFunction, k, v, packedSiblings, oldKey []b
 // CheckProofBatch verifies a batch of N proofs pairs (old and new). The proof verification depends on the
 // HashFunction passed as parameter.
 // Returns nil if the batch is valid, or an error otherwise.
+//
+// TODO: doesn't support removing leaves (newProofs can only update or add new leaves)
 func CheckProofBatch(hashFunc HashFunction, oldProofs, newProofs []*CircomVerifierProof) error {
 	newBranches := make(map[string]int)
 	newSiblings := make(map[string]int)