Function solana_libra_types::proof::verify_sparse_merkle_element

pub fn verify_sparse_merkle_element(
    expected_root_hash: HashValue, 
    element_key: HashValue, 
    element_blob: &Option<AccountStateBlob>, 
    sparse_merkle_proof: &SparseMerkleProof
) -> Result<()>

If element_blob is present, verifies an element whose key is element_key and value is element_blob exists in the Sparse Merkle Tree using the provided proof. Otherwise verifies the proof is a valid non-inclusion proof that shows this key doesn't exist in the tree.