From 4d8401e067193ab06dc5d3833e5b761ebbd97d87 Mon Sep 17 00:00:00 2001 From: Gui Iribarren Date: Tue, 5 Nov 2024 12:50:16 +0100 Subject: [PATCH] CheckProofBatch doesn't support removing leaves --- tree/arbo/proof.go | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tree/arbo/proof.go b/tree/arbo/proof.go index 947cbfa66..35fc110ce 100644 --- 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)