write MidenVM constraints for the system trace (except the `clk` column)
Open
MidenVM constraints
- Dominant language
- Rust
- Stars
- 96
- Forks
- 39
- PR merge metrics
- No merged PRs in 30d
Description
I'm not sure that these have been described anywhere yet. @bobbinth are these documented anywhere?
Contributor guide
Assessment
This issue has not been assessed yet.