proof: check poas slice usage exhaustion (#410)

Signed-off-by: Ignacio Hagopian <[email protected]>
ethereum · Oct 27, 2023 · a90669c · a90669c
1 parent 87337dd
commit a90669c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/proof_ipa.go b/proof_ipa.go
@@ -449,6 +449,10 @@ func PreStateTreeFromProof(proof *Proof, rootC *Point) (VerkleNode, error) { //
 		}
 	}
 
+	if len(poas) != 0 {
+		return nil, fmt.Errorf("not all proof of absence stems were used: %d", len(poas))
+	}
+
 	root := NewStatelessInternal(0, rootC).(*InternalNode)
 	comms := proof.Cs
 	for _, p := range paths {