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,
) -> NullifierMembershipWitness

Returns a 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).