Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat(poly): support large number of gates in folding #239

Open
chaosma opened this issue Apr 19, 2024 · 0 comments
Open

feat(poly): support large number of gates in folding #239

chaosma opened this issue Apr 19, 2024 · 0 comments
Assignees
@chaosma

Comments

@chaosma
Copy link
Collaborator

chaosma commented Apr 19, 2024

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.
@chaosma chaosma self-assigned this Apr 19, 2024
@cyphersnake cyphersnake changed the title support large number of gates in folding feat(poly): support large number of gates in folding Apr 19, 2024
cyphersnake added a commit that referenced this issue Apr 19, 2024
@cyphersnake
feat(exm): mv trivial to benches
5327462 
Part of #239
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@chaosma chaosma

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@chaosma