From a8dc896be7d3cde7095ba418fb0962379a9b22f6 Mon Sep 17 00:00:00 2001
From: Rostyslav Tyshko <tyshko.rostyslav@gmail.com>
Date: Wed, 23 Oct 2024 02:02:04 +0200
Subject: [PATCH] add test_non_membership_proof

---
 storage/src/nullifier_sparse_merkle_tree.rs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/storage/src/nullifier_sparse_merkle_tree.rs b/storage/src/nullifier_sparse_merkle_tree.rs
index 57c3e55..0d06fc7 100644
--- a/storage/src/nullifier_sparse_merkle_tree.rs
+++ b/storage/src/nullifier_sparse_merkle_tree.rs
@@ -197,4 +197,16 @@ mod tests {
         let expected_results = vec![true, true, false];
         assert_eq!(result.unwrap(), expected_results);
     }
+
+    #[test]
+    fn test_non_membership_proof() {
+        let mut tree = NullifierSparseMerkleTree::new();
+        let non_member_hash = [5u8; 32];
+
+        let result = tree.get_non_membership_proof(non_member_hash);
+        assert!(result.is_ok());
+
+        let (proof, root) = result.unwrap();
+        assert!(root.is_none());
+    }
 }