write MidenVM constraints for the decoder block stack table (multiset check constraints)
Open
MidenVM constraints
- Dominant language
- Rust
- Stars
- 96
- Forks
- 39
- PR merge metrics
- No merged PRs in 30d
Description
The constraints for the decoder block stack table are described [here](https://0xpolygonmiden.github.io/miden-vm/design/decoder/constraints.html#block-stack-table-constraints).
Contributor guide
Assessment
This issue has not been assessed yet.