Function poseidon252::merkle_proof::merkle_opening_scalar_verification

pub fn merkle_opening_scalar_verification(
    branch: PoseidonBranch, 
    root: BlsScalar, 
    leaf: BlsScalar
) -> bool

Provided a PoseidonBranch and a Merkle Tree root, verify that the path to the root is correct.

branch_length controls how much padding should be added to the branch to make it the correct length.

This hashing-chain is performed using Poseidon hashing algorithm and relies on the Hades252 permutation.