write MidenVM constraints for the decoder block stack table (multiset check constraints)
Abierto
MidenVM constraints
- Lenguaje dominante
- Rust
- Estrellas
- 96
- Forks
- 39
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
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).
Guía de contribución
Evaluación
Este issue todavía no se ha evaluado.