0xMiden / 0xMiden/air-script

Write constraints for the memory chiplet (excludes multiset check constraints)

Open
#182 4 comments 0 reactions 0 assignees View on GitHub
MidenVM constraints
Dominant language
Rust
Stars
96
Forks
39
No merged PRs in 30d

Description

The memory chiplet constraints are described [here](https://0xmiden.github.io/miden-vm/design/chiplets/memory.html).

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.