0xMiden / 0xMiden/air-script

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

Abierto
#182 4 comentarios 0 reacciones 0 asignados Ver en GitHub
MidenVM constraints
Lenguaje dominante
Rust
Estrellas
96
Forks
39
Métricas de merge de PR
Sin PR fusionados en 30 d

Descripción

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

Guía de contribución

Abrir la guía de contribución

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.