Investigate why adding default aggregation object adds many gates to double_verify_proof circuit

[lucasxia01]

It pushes double_verify_proof over the limit of 512Mi gates. Where are these gates coming from?

[lucasxia01]

Figured it out: it comes from the bigfield constructor. That constructor add constraints when it breaks down the Fq values to bigfield limbs.

[ledwards2225]

Figured it out: it comes from the bigfield constructor. That constructor add constraints when it breaks down the Fq values to bigfield limbs.

Does this mean this issue is resolved or do you think there's something to be addressed here?

[lucasxia01]

Well, the solution that avoided the bigfield constructor caused some sumcheck failure.