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.
- Check Merkle tree account discriminator, tree type, and program ownership.
- Check that signer is registered or authority.
- Nullify leaves from the input queue to the state Merkle tree. 3.1 Verifies batch zkp and updates root.
- Emit indexer event.