proof

Cartesian Merkle Tree proof generation and verification.

This module provides functionality for:

• Generating cryptographic proofs of key existence or non-existence in CMTrees
• Verifying proofs against tree root hashes
• Supporting both membership and non-membership proofs

Examples

Creating and verifying an existence proof:

let mut tree = CMTreeTrait::new();
tree.insert(50);
tree.insert(30);
tree.insert(70);

let proof = tree.generate_proof_with_path(30);
let root_hash = tree.get_root_hash();
assert!(proof.verify(root_hash, 30));

Generating a non-existence proof:

let mut tree = CMTreeTrait::new();
tree.insert(50);
tree.insert(70);

let proof = tree.generate_proof_with_path(60); // Key doesn't exist
let root_hash = tree.get_root_hash();
assert!(proof.verify(root_hash, 60)); // Non-existence proof verifies

Working with empty trees:

let tree = CMTreeTrait::new();
let proof = tree.generate_proof_with_path(50);
assert!(!proof.existence); // Empty tree always returns non-existence

Fully qualified path: cartesian_merkle_tree::library::proof

Structs

Traits

Impls