0xMiden/air-script

View on GitHub

A domain-specific language for writing AIR constraints for STARKs

Stars: 96
Forks: 39
Open beginner issues: 0
Indexed issues: 87

Dominant language: Rust
License: MIT
Last GitHub push: Mar 6, 2026
Latest indexed: Sep 13, 2026
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Beginner labels: good first issue
PR merge metrics: No merged PRs in 30d

Open All

87 open issues indexed

Revised bus boundary constraints Open

0xMiden/air-script#422 · 9 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Enforce selector rules for match statements Open

0xMiden/air-script#428 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 13, 2026
Allow bus operations to be defined without a selector Open

0xMiden/air-script#430 · 1 comment · 1 reaction · 0 assignees · Indexed Sep 13, 2026
Refine type inference Open

IR

0xMiden/air-script#432 · 11 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Add support for more general boundary constraints Open

on hold

0xMiden/air-script#433 · 9 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Document usage of pure functions Open

documentation

0xMiden/air-script#436 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Remove the `$main` keyword Open

0xMiden/air-script#441 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Refactor lowering from MIR to AIR Open

0xMiden/air-script#445 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Consider moving MIR's constant propagation to the AIR Open

IR

0xMiden/air-script#446 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Add an AIR pass for Algebraic expressions optimization Open

IR

0xMiden/air-script#448 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Implement Plonky3 `AirBuilder` main trace constraints code generation Open

codegen

0xMiden/air-script#450 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
[Mir] Consider using direct computed indices for TraceAccess and PublicInputAccess Open

0xMiden/air-script#452 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Improve `Let` statements lowering in MIR Open

0xMiden/air-script#454 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Miden VM Constraints Implementation in AirScript DSL Open

0xMiden/air-script#455 · 2 comments · 2 reactions · 0 assignees · Indexed Sep 13, 2026
Unify all testing Airs Open

0xMiden/air-script#456 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 13, 2026
Initial structure with minimal example Open

0xMiden/air-script#463 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Update Bitwise chiplet constraints Open

0xMiden/air-script#465 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Update Hasher chiplet constraints Open

0xMiden/air-script#467 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Express and check expression degree Open

0xMiden/air-script#474 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Randomize checking of each optimization pass Open

0xMiden/air-script#475 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Consider adding a fold + reverse operations Open

0xMiden/air-script#481 · 1 comment · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Consider using a more optimal way to combine the limbs in the btiwise chiplet constraints Open

MidenVM constraints

0xMiden/air-script#482 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Making use of `assert_bools` in Plonky3 Open

codegen

0xMiden/air-script#483 · 2 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
The "enf match" pattern and the current chiplets design Open

0xMiden/air-script#485 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Vector Slice Expansion in Evaluator Calls Open

IR

0xMiden/air-script#486 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
Improve `periodic_column` usage in Plonky3 backend Open

codegen

0xMiden/air-script#492 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
nested slices break the parser and some Middle IR assumptions Open

IR parser

0xMiden/air-script#502 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Potential Mir improvements Open

0xMiden/air-script#504 · 0 comments · 1 reaction · 0 assignees · Indexed Sep 13, 2026
Avoid Matrix Construct in MDS Multiplication Open

0xMiden/air-script#506 · 2 comments · 1 reaction · 0 assignees · Indexed Sep 13, 2026
Allow buses .first and .last to be set to a variable length public input. Open

0xMiden/air-script#518 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
[Plonky3 Codegen] Support Aux trace generation for logup Open

0xMiden/air-script#519 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
[Plonky3 Codegen] Investigate impact of aux trace generation on CSE pass Open

0xMiden/air-script#521 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
[Plonky3 Codegen] Improve the usage of `build_aux_trace_with_miden_vm` Open

0xMiden/air-script#522 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Remove `fmp` and `in_syscall` columns Open

0xMiden/air-script#529 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
Compare constraints evaluation on winterfell and plonky3 Open

tests

0xMiden/air-script#532 · 0 comments · 0 reactions · 1 assignee · Indexed Sep 13, 2026
[Plonky3 Codegen] Expression de-duplication in generated constraints Open

0xMiden/air-script#534 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026
[Plonky3 Codegen] Propagate tagging to Plonky3 generated constraints Open

0xMiden/air-script#555 · 0 comments · 0 reactions · 0 assignees · Indexed Sep 13, 2026

0xMiden/air-script

Get new issues in your inbox