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.

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

Failed to prove my program with stone-cli #27

Closed
tdelabro opened this issue Dec 7, 2024 · 1 comment
Closed

Failed to prove my program with stone-cli #27

tdelabro opened this issue Dec 7, 2024 · 1 comment

Comments

@tdelabro
Copy link

tdelabro commented Dec 7, 2024

I'm was trying to prove using cairo1-run + cpu_air_prover.
Bug on bug. I tried your tool and didn't worked either.
Mentioned here:
lambdaclass/cairo-vm#1889 (comment)

Scroll up for more context.

I ran

stone-cli prove \
  --prover_config_file $CFG_AND_PARAMS_DIR/cpu_air_prover_config.json  \
  --cairo_program target/release/$PROGRAM_NAME.sierra.json \
  --program_input "[650157136941007917207724121471813482783483983289688285320161307177215463403 1655569645808460179723299787189716707852181277595105475126938070374837146371]" \
  --layout all-cairo \
  --output $PROOF_OUTPUT_DIR/proof.json 

And used the main branch of the repo

@mellowcroc
Copy link
Collaborator

Marking this as duplicate of #29. Please reopen if I'm wrong.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants