0xMiden / 0xMiden/air-script

write MidenVM constraints for the decoder (general)

Open
#206 0 comments 0 reactions 1 assignee Claimed by @Fumuran View on GitHub
MidenVM constraints
Dominant language
Rust
Stars
96
Forks
39
PR merge metrics
No merged PRs in 30d

Description

For this issue, we should implement just the general constraints for the decoder, as described [here](https://0xpolygonmiden.github.io/miden-vm/design/decoder/constraints.html#general-constraints).

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.