feat(poly): support large number of gates in folding
chaosma opened this issue · 0 comments
chaosma commented
In halo2, the degree of custom gates are low. However, the number of custom gates and lookup arguments can be quite large, e.g. 100+ gates. The compressed Expression in folding scheme will be too large too to: calculate the cross term expression and do instance folding in ivc.
Potentially, this could be solved after protogalaxy is implemented.