merkle_proof

Free functions


verify	Returns true if a `leaf` can be proved to be a part of a Merkle tree defined by `root` . For this, a `proof` must be provided, containing…
verify_pedersen	Version of `verify` using Pedersen as the hashing function.
verify_poseidon	Version of `verify` using Poseidon as the hashing function.
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…
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` ….
process_multi_proof	Returns the root of a tree reconstructed from `leaves` and sibling nodes in `proof` . The reconstruction proceeds by incrementally reconstructing all inner nodes by combining a…