Type Alias verify_proof_stateless

verify_proof_stateless: RuntimeDescriptor<[root: FixedSizeBinary<32>, leaves: Binary[], proof: {
    items: FixedSizeBinary<32>[];
    leaf_count: bigint;
    leaf_indices: bigint[];
}], ResultPayload<undefined, MmrPrimitivesError>>

Verify MMR proof against given root hash for a batch of leaves.

Note this function does not require any on-chain storage - the proof is verified against given MMR root hash.

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 [LeafProof]

Type Alias verify_proof_stateless

Settings