Working example Miden VM with minimal set of constraints
Đang mở
MidenVM constraints
- Ngôn ngữ chính
- Rust
- Star
- 96
- Fork
- 39
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
We need a minimal Air-Script example for the Miden VM AIR in order to test the recent work on the ACE chiplet.
We should probably include a main trace transition constraint and boundary constraint (e.g., the clock cycle) and an auxiliary transition constraint and boundary constraint.
Additional context, and as this is not yet in the docs, the main trace is of width $73$ columns and the auxiliary trace is of width $8$ columns.
Hướng dẫn đóng góp
Đánh giá
Issue này chưa được đánh giá.