| 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… |