use merkle_core::prelude::*;
use merkle_variants::BinaryMerkleTree;
use merkleforge_hash::Sha256;
 
fn main() -> Result<(), MerkleError> {
    let tree = BinaryMerkleTree::<Sha256>::from_leaves([
        "alice:100", "bob:250", "carol:75",
    ])?;
 
    let root = tree.root().expect("tree is non-empty");
    let proof = tree.generate_proof(LeafIndex(1))?;
 
    // Stateless: only the root, the leaf bytes, and the proof.
    assert!(BinaryMerkleTree::<Sha256>::verify(root, b"bob:250", &proof));
    Ok(())
}