write MidenVM constraints for the decoder block stack table (multiset check constraints)
未关闭
MidenVM constraints
- 主要语言
- Rust
- 星标
- 96
- 派生
- 39
- PR 合并指标
- 30 天内没有已合并 PR
描述
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).
贡献指南
评估
这个 Issue 还没有评估数据。