write MidenVM constraints for the decoder block stack table (multiset check constraints)
Aperta
MidenVM constraints
- Lingua principale
- Rust
- Stelle
- 96
- Fork
- 39
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
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).
Guida per i contributori
Apri la guida per i contributori
Valutazione
Questa issue non è ancora stata valutata.