# Function pallet_mmr::verify_leaves_proof

source · ```
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,
```

## Expand description

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].