Keyboard shortcuts

Press or to navigate between chapters

Press ? to show this help

Press Esc to hide this help

process_proof

Returns the rebuilt hash obtained by traversing a Merkle tree up from leaf using proof. A proof is valid if and only if the rebuilt hash matches the root of the tree. When processing the proof, the pairs of leaves & pre-images are assumed to be sorted.

Fully qualified path: openzeppelin_merkle_tree::merkle_proof::process_proof

pub fn process_proof<impl Hasher: CommutativeHasher>(proof: Span<felt252>, leaf: felt252) -> felt252