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

Traits

AccumulationSchemeSDK

SDK trait which makes it possible for other project directly use the AggregationCircuit with any `AccumulationScheme’ like GWC & SHPLONK

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