test: add not valid proof example

1 files changed, 17 insertions, 0 deletions

diff --git a/src/proof.rs b/src/proof.rs
index 14370f2..4c42841 100644
--- a/src/proof.rs
+++ b/src/proof.rs
@@ -181,4 +181,21 @@ mod tests {
             assert!(proofer.verify(&proof, item, tree.root().hash(), &hasher));
         }
     }
+
+    #[test]
+    fn test_proof_not_valid() {
+        let hasher = SHA256Hasher::new();
+        let data = vec!["a", "b", "c", "d"];
+        let tree = MerkleTree::new(hasher.clone(), data.clone());
+        let proofer = DefaultProofer::new(&hasher, tree.leaves().clone());
+
+        let proof = proofer.generate(0).unwrap();
+
+        assert!(proofer.verify(&proof, b"a", tree.root().hash(), &hasher));
+        assert!(!proofer.verify(&proof, b"b", tree.root().hash(), &hasher));
+        assert!(!proofer.verify(&proof, b"c", tree.root().hash(), &hasher));
+        assert!(!proofer.verify(&proof, b"d", tree.root().hash(), &hasher));
+
+        assert!(!proofer.verify(&proof, b"e", tree.root().hash(), &hasher));
+    }
 }