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

feat: add Proof Mode Loop and Cells Checks #135

Open

zmalatrax opened this issue Aug 12, 2024 · 0 comments · May be fixed by #120

Assignees

Collaborator

zmalatrax commented Aug 12, 2024

Implement the loop which executes steps until reaching the next power of two.
Implement the cells checks on builtins and memory usage which is used as a flag whether to continue the proof mode infinite loop.

zmalatrax self-assigned this

zmalatrax added this to Cairo VM ts

zmalatrax moved this to 👀 In review in Cairo VM ts

zmalatrax linked a pull request

that will close this issue

feat: Add Proof mode Initialization & Loop #120

Draft

zmalatrax linked a pull request

that will close this issue

feat: Add Proof mode Initialization & Loop #120

Draft

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