Expand description
Circuits implementation Circuits for Plonk verifiers.
Structs§
- Batch
Proof Var - Represent variables of an aggregated SNARK proof that batchly proving multiple instances.
- Verifying
KeyVar - Represent variable of a Plonk verifying key.
Traits§
- Batchable
Circuit - Plonk Circuit that support batch verification