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

Initial version 1 #1

Merged
merged 29 commits into from
Sep 10, 2024
Merged

Initial version 1 #1

merged 29 commits into from
Sep 10, 2024

Conversation

byteZorvin
Copy link
Member

This adds initial version for the proof generator

Makefile Outdated Show resolved Hide resolved
Makefile Outdated Show resolved Hide resolved
README.md Outdated Show resolved Hide resolved
README.md Outdated Show resolved Hide resolved
examples/dummy_snos.cairo Outdated Show resolved Hide resolved
examples/dummy_snos_input.json Outdated Show resolved Hide resolved
format.js Outdated Show resolved Hide resolved
README.md Show resolved Hide resolved
src/main.rs Show resolved Hide resolved
src/main.rs Outdated Show resolved Hide resolved
README.md Outdated Show resolved Hide resolved
README.md Outdated
`trace.bin`: Execution trace of the Cairo program.
`memory.bin`: Memory dump of the Cairo program execution.
`proof.json`: The generated STARK proof.
`pie.zip`: Cairo PIE (Program Independent Executable) that can be generated by running the program and can be used re run the file in standardised way without inputs.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

we should add that this is only for debugging purposes or if you're using SHARP

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

actually, maybe we can remove it as well? how do you suggest to use the PIE for debugging?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sometimes, if you have errrors while running the pie, they could potentially debugged faster than facing that while prooving it with sharp. That happended once with me if I remember correctly.

  • Added the note in readme

README.md Outdated Show resolved Hide resolved
README.md Outdated Show resolved Hide resolved
@byteZorvin byteZorvin merged commit 986b0f2 into main Sep 10, 2024
1 check passed
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

Successfully merging this pull request may close these issues.

2 participants