pub fn verify_batch_membership(
    proof: &CommitmentProof,
    spec: &ProofSpec,
    root: &Vec<u8>,
    items: BTreeMap<&[u8], &[u8]>
) -> bool