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.
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.