Struct NullifierExistenceRequest

pub struct NullifierExistenceRequest
{ /* private fields */ }

A request to assert the existence of a nullifier.

Used by crate::context::private_context::PrivateContext::assert_nullifier_exists.

Implementations

`impl NullifierExistenceRequest`

pub fn for_pending(unsiloed_nullifier: Field, contract_address: AztecAddress) -> Self

Creates an existence request for a pending nullifier.

Pending nullifiers have not been siloed with the contract address. These requests are created using the unsiloed value and address of the contract that emitted the nullifier.

pub fn for_settled(siloed_nullifier: Field) -> Self

Creates an existence request for a settled nullifier.

Unlike pending nullifiers, settled nullifiers have been siloed with their contract addresses before adding to the nullifier tree, and their existence request is created using the siloed value.