Module aggregation

Structs

• AggregationCircuit
• AggregationConfigParams
  Same as FlexGateConfigParams except we assume a single Phase and default ‘Vertical’ strategy. Also adds lookup_bits field.
• PreprocessedAndDomainAsWitness
• SnarkAggregationOutput
  Private witnesses that form the output of aggregate_snarks. Same as SnarkAggregationWitness except that we flatten accumulator into a vector of field elements.
• SnarkAggregationWitness

Enums

• AssignedTranscriptObject
• VerifierUniversality
  Different possible stages of universality the aggregation circuit can support

Functions

• aggregate
  Core function used in synthesize to aggregate multiple snarks.
• aggregate_snarks
  Given snarks, this populates the circuit builder with the virtual cells and constraints necessary to verify all the snarks.
• load_verify_circuit_degree

Type Aliases

• BaseFieldEccChip
• Halo2Loader
• Svk

Trait Aliases

• Halo2KzgAccumulationScheme