Module batch_arg

Source
Expand description

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.