write MidenVM constraints for the decoder block stack table (multiset check constraints)
Aberta
MidenVM constraints
- Linguagem predominante
- Rust
- Estrelas
- 96
- Forks
- 39
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
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).
Guia de contribuição
Avaliação
Esta issue ainda não foi avaliada.