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

Implement Air Private Inputs #1526

Closed
pefontana opened this issue Dec 22, 2023 · 1 comment · Fixed by #1559
Closed

Implement Air Private Inputs #1526

pefontana opened this issue Dec 22, 2023 · 1 comment · Fixed by #1559

Comments

@pefontana
Copy link
Collaborator

In the Cairo1-run crate we should implement the option to return the Air Private Inputs.
To implement this we should see how they are implemented in the Python VM

/~https://github.com/starkware-libs/cairo-lang/blob/caba294d82eeeccc3d86a158adb8ba209bf2d8fc/src/starkware/cairo/lang/vm/cairo_run.py#L430-L431

Here is and example on how to execute them
cairo-run --program cairo_programs/proof_programs/_keccak.json --layout starknet_with_keccak --air_public_input=_keccak_public_input.json --air_private_input=_keccak_private_input.json --trace_file=_keccak_trace.json --memory_file=_keccak_memory.json --print_output --proof_mode

@pefontana pefontana moved this to Todo in Starknet Dec 22, 2023
@MauroToscano
Copy link
Contributor

As a side note, this would be useful for cairo 0 too, and maybe easier to test with that one first

@fmoletta fmoletta linked a pull request Jan 12, 2024 that will close this issue
@igaray igaray changed the title [Cairo1-run] Implement Air Private Inputs Implement Air Private Inputs Jan 15, 2024
@pefontana pefontana added this to the Stone prover compatibility milestone Jan 16, 2024
@github-project-automation github-project-automation bot moved this from Todo to Done in Starknet Jan 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: Done
Development

Successfully merging a pull request may close this issue.

3 participants