proof: add more tests to tree reconstruction from proof

Signed-off-by: Ignacio Hagopian <[email protected]>
ethereum · Jan 17, 2024 · 3e84a42 · 3e84a42
1 parent 22541f1
commit 3e84a42
Show file tree

Hide file tree

Showing 2 changed files with 109 additions and 484 deletions.
diff --git a/proof_ipa.go b/proof_ipa.go
@@ -491,6 +491,9 @@ func PreStateTreeFromProof(proof *Proof, rootC *Point) (VerkleNode, error) { //
 
 	root := NewStatelessInternal(0, rootC).(*InternalNode)
 	comms := proof.Cs
+	for i, a := range comms {
+		fmt.Printf("OK %d %x\n", i, a.Bytes())
+	}
 	for _, p := range paths {
 		// NOTE: the reconstructed tree won't tell the
 		// difference between leaves missing from view