verify_multi_proof

Returns true if the leaves can be simultaneously proven to be a part of a Merkle tree defined by root, according to proof and proof_flags as described in process_multi_proof.

CAUTION: Not all Merkle trees admit multiproofs. See process_multi_proof for details.

NOTE: Consider the case where root == proof.at(0) && leaves.len() == 0 as it will return true.

The leaves must be validated independently. See process_multi_proof.

Fully qualified path: openzeppelin_merkle_tree::merkle_proof::verify_multi_proof

pub fn verify_multi_proof<impl Hasher: CommutativeHasher>(
    proof: Span<felt252>, proof_flags: Span<bool>, root: felt252, leaves: Span<felt252>,
) -> bool