aztec-nr - noir_aztec::oracle::get_nullifier_membership_witness

Function get_nullifier_membership_witness

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

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

This is used to prove that a nullifier exists in the tree (inclusion proof).