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.

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 range checker (excludes multiset check constraints) #178

Closed
Tracked by #165
tohrnii opened this issue Feb 27, 2023 · 1 comment
Closed
Tracked by #165

write MidenVM constraints for the range checker (excludes multiset check constraints) #178

tohrnii opened this issue Feb 27, 2023 · 1 comment
Assignees
@tohrnii
Labels
MidenVM constraints v0.3

Comments

@tohrnii
Copy link
Contributor

tohrnii commented Feb 27, 2023 •
edited by grjte
Loading

The constraints for the range checker are described here and implemented in Rust here.

The following constraints related to multiset checks should be excluded from this issue:

  • 8-bit range checks table
  • range checker communication bus
@tohrnii tohrnii self-assigned this Feb 27, 2023
This was referenced Feb 27, 2023
Open
Merged
@grjte grjte changed the title Write range checker constraints in AirScript write MidenVM constraints for the range checker (excludes multiset check constraints) Mar 7, 2023
@grjte
Copy link
Contributor

grjte commented Mar 23, 2023

closed by #184

@grjte grjte closed this as completed Mar 23, 2023
@grjte grjte mentioned this issue Apr 11, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tohrnii tohrnii

Labels
MidenVM constraints v0.3
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@grjte @tohrnii