From cf2b979d2ea4f60b2e158f01a5aa84df6ebb7230 Mon Sep 17 00:00:00 2001 From: Santo Cariotti Date: Tue, 17 Jun 2025 11:20:34 +0200 Subject: test: add not valid proof example --- src/proof.rs | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) (limited to 'src') 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)); + } } -- cgit v1.2.3-71-g8e6c