For the complete documentation index, see llms.txt.
aztec-nr - noir_aztec::oracle::get_nullifier_membership_witness

Function get_low_nullifier_membership_witness

pub unconstrained fn get_low_nullifier_membership_witness(
    block_header: BlockHeader,
    nullifier: Field,
) -> (NullifierLeafPreimage, MembershipWitness<42>)

Returns a leaf preimage and membership witness for the low nullifier of nullifier in the nullifier tree whose root is defined in block_header.

The low nullifier is the leaf with the largest value that is still smaller than nullifier. This is used to prove non-inclusion: if the low nullifier's next_value is greater than nullifier, then nullifier is not in the tree.