pub fn verify<T: AsRef<[u8]>>( root: &Bytes32, digest: T, proof_set: &ProofSet, proof_index: u64, num_leaves: u64 ) -> bool