add a new test + get all tests running

Author: gballet

proof_ipa.go

@@ -469,7 +469,9 @@ func PostStateTreeFromProof(preroot VerkleNode, statediff StateDiff) (VerkleNode
 		}
 
 		if overwrites {
-			if err := postroot.(*InternalNode).InsertStem(stemstatediff.Stem[:], values, nil); err != nil {
+			var stem [31]byte
+			copy(stem[:31], stemstatediff.Stem[:])
+			if err := postroot.(*InternalNode).InsertStem(stem[:], values, nil); err != nil {
 				return nil, fmt.Errorf("error overwriting value in post state: %w", err)
 			}
 		}

proof_test.go

@@ -734,6 +734,15 @@ func TestProofVerificationWithPostState(t *testing.T) {
 		name                                                string
 		keys, values, keystoprove, updatekeys, updatevalues [][]byte
 	}{
+		{
+			// overwrite a key
+			name:         "update_in_leaf_node",
+			keys:         [][]byte{zeroKeyTest, oneKeyTest, ffx32KeyTest},
+			values:       [][]byte{zeroKeyTest, zeroKeyTest, zeroKeyTest},
+			keystoprove:  [][]byte{zeroKeyTest},
+			updatekeys:   [][]byte{zeroKeyTest},
+			updatevalues: [][]byte{fourtyKeyTest},
+		},
 		{
 			// check for a key present at the root level
 			name:         "new_key_in_internal_node",
@@ -796,7 +805,6 @@ func TestProofVerificationWithPostState(t *testing.T) {
 				t.Fatalf("error deserializing proof: %v", err)
 			}
 
-			t.Log(dproof.Keys)
 			if err = VerifyVerkleProofWithPreAndPostTrie(dproof, root, postroot, nil); err != nil {
 				t.Fatalf("could not verify verkle proof: %v, original: %s reconstructed: %s", err, ToDot(root), ToDot(postroot))
 			}