diff options
| -rw-r--r-- | src/proof.rs | 17 |
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)); + } } |