Module utils

Structs

• AggregationDependencyIntent
• AggregationDependencyIntentOwned

Traits

• KeygenAggregationCircuitIntent
  This trait should be implemented on the minimal circuit configuration data necessary to completely determine an aggregation circuit (independent of circuit inputs or specific snarks to be aggregated). This is used to generate a dummy instantiation of a concrete Circuit type for the purposes of key generation. This dummy instantiation just needs to have the correct arithmetization format, but the witnesses do not need to satisfy constraints.