Function verify_leaves_proof

pub fn verify_leaves_proof<H, L>(
    root: H::Output,
    leaves: Vec<DataOrHash<H, L>>,
    proof: LeafProof<H::Output>,
) -> Result<(), Error>
where
    H: Hash,
    L: FullLeaf,

Stateless MMR proof verification for batch of leaves.

This function can be used to verify received MMR primitives::LeafProof (proof) for given leaves set (leaves) against a known MMR root hash (root). Note, the leaves should be sorted such that corresponding leaves and leaf indices have the same position in both the leaves vector and the leaf_indices vector contained in the primitives::LeafProof.