write MidenVM constraints for the system trace (except the `clk` column)
Aberta
MidenVM constraints
- Linguagem predominante
- Rust
- Estrelas
- 96
- Forks
- 39
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
I'm not sure that these have been described anywhere yet. @bobbinth are these documented anywhere?
Guia de contribuição
Avaliação
Esta issue ainda não foi avaliada.