0xMiden / 0xMiden/air-script

write MidenVM constraints for the decoder block stack table (multiset check constraints)

Offen
#210 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
MidenVM constraints
Vorherrschende Sprache
Rust
Sterne
96
Forks
39
PR-Merge-Kennzahlen
Keine gemergten PRs in 30 T.

Beschreibung

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).

Beitragsleitfaden

Beitragsleitfaden öffnen

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.