Repository navigation
PairingPoints aggregation when building circuits from ACIR #1601
Description
Activity
@federicobarbacovi Can this be closed or are we still not doing this in some places?
We are still aggregating them as they come when building a circuit from ACIR. For the moment I would classify this issue as not-planned as aggregating all the points at once would require evaluating whether we need to aggregate with or without edge-case handling (and whether adding edge-case handling makes aggregating all the points at once useful or not)
When building a circuit from ACIR, we currently aggregate all pairing points as they are generated. This is not optimal, especially when using
UltraBuilder. A single aggregation costs60kgates. Using batch mul the cost is approximately3.5k * N + 60k.We should investigate where the saving would be worth the minor refactoring.
The public base is the circuit in which we perform most aggregations (
3in the AVM rec verifier +1to aggregate with the pairing point of the the tube +1inside the tube)