Expand description
An argument system that proves/verifies multiple instances in a batch.
Structs§
- Batch
Argument - 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.