0xMiden/air-script

Auf GitHub ansehen

A domain-specific language for writing AIR constraints for STARKs

Sterne: 96
Forks: 39
Offene Anfänger-Issues: 5
Indexierte Issues: 87

Vorherrschende Sprache: Rust
Lizenz: MIT
Letzter GitHub-Push: 06.3.2026
Zuletzt indexiert: 13.9.2026
Beitragsleitfaden: Beitragsleitfaden
Verhaltenskodex: Kein Verhaltenskodex
Anfänger-Labels: good first issue
PR-Merge-Kennzahlen: Keine gemergten PRs in 30 T.

Offen Alle

Bisher 87 Issues indexiert

Revised bus boundary constraints Offen

0xMiden/air-script#422 · 9 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Enforce selector rules for match statements Offen

0xMiden/air-script#428 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Allow bus operations to be defined without a selector Offen

0xMiden/air-script#430 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Refine type inference Offen

IR

0xMiden/air-script#432 · 11 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add support for more general boundary constraints Offen

on hold

0xMiden/air-script#433 · 9 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Document usage of pure functions Offen

documentation

0xMiden/air-script#436 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Remove the `$main` keyword Offen

0xMiden/air-script#441 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Refactor lowering from MIR to AIR Offen

0xMiden/air-script#445 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Consider moving MIR's constant propagation to the AIR Offen

IR

0xMiden/air-script#446 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add an AIR pass for Algebraic expressions optimization Offen

IR

0xMiden/air-script#448 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Implement Plonky3 `AirBuilder` main trace constraints code generation Offen

codegen

0xMiden/air-script#450 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
[Mir] Consider using direct computed indices for TraceAccess and PublicInputAccess Offen

0xMiden/air-script#452 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Improve `Let` statements lowering in MIR Offen

0xMiden/air-script#454 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Miden VM Constraints Implementation in AirScript DSL Offen

0xMiden/air-script#455 · 2 Kommentare · 2 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Unify all testing Airs Offen

0xMiden/air-script#456 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Initial structure with minimal example Offen

0xMiden/air-script#463 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Update Bitwise chiplet constraints Offen

0xMiden/air-script#465 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Update Hasher chiplet constraints Offen

0xMiden/air-script#467 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Express and check expression degree Offen

0xMiden/air-script#474 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Randomize checking of each optimization pass Offen

0xMiden/air-script#475 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Consider adding a fold + reverse operations Offen

0xMiden/air-script#481 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Consider using a more optimal way to combine the limbs in the btiwise chiplet constraints Offen

MidenVM constraints

0xMiden/air-script#482 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Making use of `assert_bools` in Plonky3 Offen

codegen

0xMiden/air-script#483 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
The "enf match" pattern and the current chiplets design Offen

0xMiden/air-script#485 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Vector Slice Expansion in Evaluator Calls Offen

IR

0xMiden/air-script#486 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Improve `periodic_column` usage in Plonky3 backend Offen

codegen

0xMiden/air-script#492 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
nested slices break the parser and some Middle IR assumptions Offen

IR parser

0xMiden/air-script#502 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Potential Mir improvements Offen

0xMiden/air-script#504 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Avoid Matrix Construct in MDS Multiplication Offen

0xMiden/air-script#506 · 2 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Allow buses .first and .last to be set to a variable length public input. Offen

0xMiden/air-script#518 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
[Plonky3 Codegen] Support Aux trace generation for logup Offen

0xMiden/air-script#519 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
[Plonky3 Codegen] Investigate impact of aux trace generation on CSE pass Offen

0xMiden/air-script#521 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
[Plonky3 Codegen] Improve the usage of `build_aux_trace_with_miden_vm` Offen

0xMiden/air-script#522 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Remove `fmp` and `in_syscall` columns Offen

0xMiden/air-script#529 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Compare constraints evaluation on winterfell and plonky3 Offen

tests

0xMiden/air-script#532 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
[Plonky3 Codegen] Expression de-duplication in generated constraints Offen

0xMiden/air-script#534 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
[Plonky3 Codegen] Propagate tagging to Plonky3 generated constraints Offen

0xMiden/air-script#555 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026

0xMiden/air-script

Neue Issues direkt in Ihr Postfach