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

Benchmark constraint diff with O1 and O2 flags from circom #152

Open
Divide-By-0 opened this issue Dec 7, 2023 · 0 comments
Open

Benchmark constraint diff with O1 and O2 flags from circom #152

Divide-By-0 opened this issue Dec 7, 2023 · 0 comments
Labels
enhancement New feature or request low

Comments

@Divide-By-0
Copy link
Member

Divide-By-0 commented Dec 7, 2023 •
edited
Loading

Enable --O1 and --O2 flags from circom and see how much constraints go down. If it's significant, make sure unconstrained public variables used in the circuit aren't optimized out (i.e. any unused variables used to constrain or something), then update the build scripts and built circuits.

As of our May 2024 audit, O1 and O2 are considered safe to enable.
@Divide-By-0 Divide-By-0 changed the title Try optimizing via O1 and O2 flags from circom Benchmark constraint diff with O1 and O2 flags from circom May 16, 2024
@Divide-By-0 Divide-By-0 added enhancement New feature or request low labels May 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request low
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Divide-By-0