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

Add PROVER_INPUT stack constraints. #1274

Closed

LindaGuiga wants to merge 1 commit into 0xPolygonZero:main from topos-protocol:prover-input-stack-constraints

Contributor

LindaGuiga commented Oct 3, 2023

This PR adds missing stack constraints for PROVER_INPUT by adding a StackBehavior with no pop, pushes and other channels disabled.


          Add PROVER_INPUT stack constraints.

df9677c

Nashtare added this to the EVM Audit Readiness milestone

pgebheim assigned nbgl

Contributor Author

LindaGuiga commented Oct 17, 2023

Closing this as this is actually included in #1168.

LindaGuiga closed this

Nashtare deleted the prover-input-stack-constraints branch

October 17, 2023 22:38

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

Labels

None yet