From 62a057bc4e7df989748e85a31fe397d329166712 Mon Sep 17 00:00:00 2001
From: Aditya Sripal <adityasripal@gmail.com>
Date: Wed, 6 Sep 2023 14:12:56 +0200
Subject: [PATCH] exclusion proof of key passes for an existent key/val

---
 go/vectors_test.go | 45 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 45 insertions(+)

diff --git a/go/vectors_test.go b/go/vectors_test.go
index b6e0e909..a5e9e046 100644
--- a/go/vectors_test.go
+++ b/go/vectors_test.go
@@ -33,6 +33,51 @@ func TestVectors(t *testing.T) {
 				if !valid {
 					t.Fatal("Invalid proof")
 				}
+				if tc.Spec == SmtSpec {
+					existProof := proof.GetExist()
+					path, _ := doHash(HashOp_SHA256, existProof.Key)
+					val, _ := doHash(HashOp_SHA256, existProof.Value)
+					exclusionProof := &CommitmentProof{
+						Proof: &CommitmentProof_Exclusion{
+							Exclusion: &ExclusionProof{
+								Key:             existProof.Key,
+								ActualPath:      path,
+								ActualValueHash: val,
+								Leaf: &LeafOp{
+									Hash:         HashOp_SHA256,
+									PrehashKey:   HashOp_NO_HASH,
+									PrehashValue: HashOp_NO_HASH,
+									Length:       LengthOp_NO_PREFIX,
+									Prefix:       []byte{0},
+								},
+								Path: existProof.Path,
+							},
+						},
+					}
+					spec := &ProofSpec{
+						LeafSpec: &LeafOp{
+							Hash:         HashOp_SHA256,
+							PrehashKey:   HashOp_NO_HASH,
+							PrehashValue: HashOp_NO_HASH,
+							Length:       LengthOp_NO_PREFIX,
+							Prefix:       []byte{0},
+						},
+						InnerSpec: &InnerSpec{
+							ChildOrder:      []int32{0, 1},
+							ChildSize:       32,
+							MinPrefixLength: 1,
+							MaxPrefixLength: 1,
+							EmptyChild:      make([]byte, 32),
+							Hash:            HashOp_SHA256,
+						},
+						MaxDepth:                   256,
+						PrehashKeyBeforeComparison: true,
+					}
+					invalid := VerifyNonMembership(spec, ref.RootHash, exclusionProof, ref.Key)
+					if invalid {
+						t.Fatal("verify nonmembership works for valid key/val")
+					}
+				}
 			}
 		})
 	}