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

run problem #62

Closed

Subway2023 opened this issue Oct 14, 2024 · 1 comment

Subway2023 commented Oct 14, 2024

How to analyze a given program? I have some Halo2 programs and want to use halo2-analyse for the analysis.

Author

Subway2023 commented Oct 14, 2024

The command cannot specify the program being tested.

cd ./korrekt
cargo run --no-default-features --features use_scroll_halo2_proofs -- --type underconstrained_circuit --lookup interpreted --verification random  --iterations 5

Subway2023 closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment