0xMiden/air-script

Vedi su GitHub

A domain-specific language for writing AIR constraints for STARKs

Stelle: 96
Fork: 39
Issue aperte per principianti: 0
Issue indicizzate: 87

Lingua principale: Rust
Licenza: MIT
Ultimo push su GitHub: 6/3/2026
Ultima indicizzazione: 13/9/2026
Guida per i contributori: Guida per i contributori
Codice di condotta: Nessun codice di condotta
Label per principianti: good first issue
Metriche di merge delle PR: Nessuna PR unita negli ultimi 30g

Aperta Tutte

87 issue aperte indicizzate

Revised bus boundary constraints Aperta

0xMiden/air-script#422 · 9 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Enforce selector rules for match statements Aperta

0xMiden/air-script#428 · 0 commenti · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
Allow bus operations to be defined without a selector Aperta

0xMiden/air-script#430 · 1 commento · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
Refine type inference Aperta

IR

0xMiden/air-script#432 · 11 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Add support for more general boundary constraints Aperta

on hold

0xMiden/air-script#433 · 9 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Document usage of pure functions Aperta

documentation

0xMiden/air-script#436 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Remove the `$main` keyword Aperta

0xMiden/air-script#441 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Refactor lowering from MIR to AIR Aperta

0xMiden/air-script#445 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Consider moving MIR's constant propagation to the AIR Aperta

IR

0xMiden/air-script#446 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Add an AIR pass for Algebraic expressions optimization Aperta

IR

0xMiden/air-script#448 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Implement Plonky3 `AirBuilder` main trace constraints code generation Aperta

codegen

0xMiden/air-script#450 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
[Mir] Consider using direct computed indices for TraceAccess and PublicInputAccess Aperta

0xMiden/air-script#452 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Improve `Let` statements lowering in MIR Aperta

0xMiden/air-script#454 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Miden VM Constraints Implementation in AirScript DSL Aperta

0xMiden/air-script#455 · 2 commenti · 2 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Unify all testing Airs Aperta

0xMiden/air-script#456 · 0 commenti · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
Initial structure with minimal example Aperta

0xMiden/air-script#463 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Update Bitwise chiplet constraints Aperta

0xMiden/air-script#465 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Update Hasher chiplet constraints Aperta

0xMiden/air-script#467 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Express and check expression degree Aperta

0xMiden/air-script#474 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Randomize checking of each optimization pass Aperta

0xMiden/air-script#475 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Consider adding a fold + reverse operations Aperta

0xMiden/air-script#481 · 1 commento · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Consider using a more optimal way to combine the limbs in the btiwise chiplet constraints Aperta

MidenVM constraints

0xMiden/air-script#482 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Making use of `assert_bools` in Plonky3 Aperta

codegen

0xMiden/air-script#483 · 2 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
The "enf match" pattern and the current chiplets design Aperta

0xMiden/air-script#485 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Vector Slice Expansion in Evaluator Calls Aperta

IR

0xMiden/air-script#486 · 0 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
Improve `periodic_column` usage in Plonky3 backend Aperta

codegen

0xMiden/air-script#492 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
nested slices break the parser and some Middle IR assumptions Aperta

IR parser

0xMiden/air-script#502 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Potential Mir improvements Aperta

0xMiden/air-script#504 · 0 commenti · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
Avoid Matrix Construct in MDS Multiplication Aperta

0xMiden/air-script#506 · 2 commenti · 1 reazione · 0 assegnatari · Indicizzata il 13/9/2026
Allow buses .first and .last to be set to a variable length public input. Aperta

0xMiden/air-script#518 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
[Plonky3 Codegen] Support Aux trace generation for logup Aperta

0xMiden/air-script#519 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
[Plonky3 Codegen] Investigate impact of aux trace generation on CSE pass Aperta

0xMiden/air-script#521 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
[Plonky3 Codegen] Improve the usage of `build_aux_trace_with_miden_vm` Aperta

0xMiden/air-script#522 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Remove `fmp` and `in_syscall` columns Aperta

0xMiden/air-script#529 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
Compare constraints evaluation on winterfell and plonky3 Aperta

tests

0xMiden/air-script#532 · 0 commenti · 0 reazioni · 1 assegnatario · Indicizzata il 13/9/2026
[Plonky3 Codegen] Expression de-duplication in generated constraints Aperta

0xMiden/air-script#534 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026
[Plonky3 Codegen] Propagate tagging to Plonky3 generated constraints Aperta

0xMiden/air-script#555 · 0 commenti · 0 reazioni · 0 assegnatari · Indicizzata il 13/9/2026

0xMiden/air-script

Ricevi le nuove issue nella tua casella