Module batch_arg

An argument system that proves/verifies multiple instances in a batch.

Structs

• BatchArgument
  A batching argument.
• Instance
  A circuit instance that consists of the corresponding proving key/verification key/circuit.

Functions

• build_batch_proof_and_vks_for_test
  Create num_instances type A/B instance verifying keys and compute the corresponding batch proof. Only used for testing.