process_batch_nullify

Function process_batch_nullify 

Source
pub fn process_batch_nullify<'a, 'b, 'c: 'info, 'info>(
    ctx: &'a Context<'a, 'b, 'c, 'info, BatchNullify<'info>>,
    instruction_data: InstructionDataBatchNullifyInputs,
) -> Result<()>
Expand description

Nullify a batch of leaves from the input queue to the state Merkle tree. Nullify means updating the leaf index with a nullifier. The input queue is part of the state Merkle tree account.

  1. Check Merkle tree account discriminator, tree type, and program ownership.
  2. Check that signer is registered or authority.
  3. Nullify leaves from the input queue to the state Merkle tree. 3.1 Verifies batch zkp and updates root.
  4. Emit indexer event.