0xMiden / 0xMiden/air-script

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

Ouverte
#182 4 commentaires 0 réactions 0 personnes assignées Voir sur GitHub
MidenVM constraints
Langage dominant
Rust
Étoiles
96
Forks
39
Métriques de merge des PR
Aucune PR mergée en 30 j

Description

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

Guide de contribution

Ouvrir le guide de contribution

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.