aztec-nr - protocol_types::merkle_tree::membership

Function check_non_membership_with_hasher

pub fn check_non_membership_with_hasher<let TREE_HEIGHT: u32, LEAF_PREIMAGE, VALUE>(
    key: Field,
    low_leaf_preimage: LEAF_PREIMAGE,
    low_leaf_membership_witness: MembershipWitness<TREE_HEIGHT>,
    tree_root: Field,
    hasher: fn(Field, Field) -> Field,
) -> (bool, bool, bool)
where
    LEAF_PREIMAGE: IndexedTreeLeafPreimage<VALUE>

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