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

write MidenVM constraints for the stack u32 ops #199

Open

grjte opened this issue Mar 7, 2023 · 0 comments

Labels

MidenVM constraints

Contributor

grjte commented Mar 7, 2023 •

edited

Loading

These constraints should be deferred until after we have decided how to deal with the top level stack constraints and op flag handling in #209.

The u32 op constraints are described here and implemented in Rust here.

grjte mentioned this issue

Tracking issue: write Miden VM constraints in AirScript #165

Open

grjte added the MidenVM constraints label

grjte changed the title ~~stack: u32 ops~~ write MidenVM constraints for the stack u32 ops

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