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