Module nullify_state

Source

Functionsยง

insert_nullifiers
Checks that if nullifier queue has program_owner it invoking_program is program_owner.Inserts nullifiers into the queue.