Function smt_map::verify_merkle_proof

pub fn verify_merkle_proof(
    merkle_root: &Hash256, 
    key: &U256, 
    value: &U256, 
    proof: &MerkleProof
) -> bool

Verifies the value of a key in a SMT-Map (specified by its merkle root). Returns whether the verification has passed.