write MidenVM constraints for the system trace (except the `clk` column)
Abierto
MidenVM constraints
- Lenguaje dominante
- Rust
- Estrellas
- 96
- Forks
- 39
- Métricas de merge de PR
- Sin PR fusionados en 30 d
Descripción
I'm not sure that these have been described anywhere yet. @bobbinth are these documented anywhere?
Guía de contribución
Evaluación
Este issue todavía no se ha evaluado.