ics23
pub fn verify_membership( proof: &CommitmentProof, spec: &ProofSpec, root: &Vec<u8>, key: &[u8], value: &[u8]) -> bool