aztec-nr - protocol_types::merkle_tree::membership

Function conditionally_check_membership_with_hasher

pub fn conditionally_check_membership_with_hasher<let TREE_HEIGHT: u32, LEAF_PREIMAGE, VALUE>(
    key: Field,
    exists: bool,
    leaf_preimage: LEAF_PREIMAGE,
    membership_witness: MembershipWitness<TREE_HEIGHT>,
    tree_root: Field,
    hasher: fn(Field, Field) -> Field,
) -> (bool, bool, bool)
where
    LEAF_PREIMAGE: IndexedTreeLeafPreimage<VALUE>

Same as conditionally_check_membership but uses a custom hasher. Use this variant for indexed trees whose internal nodes use a tree-specific separator (e.g. public_data_merkle_hash).