0xMiden/air-script

Auf GitHub ansehen

A domain-specific language for writing AIR constraints for STARKs

Sterne: 96
Forks: 39
Offene Anfänger-Issues: 0
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 offene Issues indexiert

Improve IR tests Offen

IR tests

0xMiden/air-script#7 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Add unit tests for codegen Offen

tests

0xMiden/air-script#9 · 3 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
identify & warn for identical periodic columns Offen

0xMiden/air-script#31 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Refactor Periodic columns handling in IR and codegen Offen

0xMiden/air-script#43 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Propagate comments from parser to generated rust code Offen

on hold

0xMiden/air-script#66 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Recoverable Errors Offen

on hold parser

0xMiden/air-script#88 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
add new built-in $x for accessing x value at each row Offen

on hold

0xMiden/air-script#90 · 3 Kommentare · 2 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Convert consts to field elements from u32 if possible Offen

codegen

0xMiden/air-script#131 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add support for preprocessed columns Offen

0xMiden/air-script#135 · 3 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Consider adding graph visualization utility for constraint graph Offen

0xMiden/air-script#167 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Converting base field elements to extension filed elements in codegen Offen

0xMiden/air-script#170 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Consider adding support for matrix rows as iterables in list comprehension Offen

0xMiden/air-script#174 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Write constraints for the memory chiplet (excludes multiset check constraints) Offen

MidenVM constraints

0xMiden/air-script#182 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Allow inbuilt variables as iterables in list and constraint comprehension Offen

0xMiden/air-script#198 · 1 Kommentar · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
write MidenVM constraints for the stack u32 ops Offen

MidenVM constraints

0xMiden/air-script#199 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
write MidenVM constraints for chiplets module (excludes multiset check constraints) Offen

MidenVM constraints

0xMiden/air-script#201 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
write MidenVM constraints for hasher chiplet (excludes multiset check constraints) Offen

MidenVM constraints

0xMiden/air-script#202 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
write MidenVM constraints for the decoder (general) Offen

MidenVM constraints

0xMiden/air-script#206 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
write MidenVM constraints for system (clk constraint) Offen

MidenVM constraints

0xMiden/air-script#207 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
write MidenVM constraints for the stack (general) and determine operation flag handling Offen

MidenVM constraints

0xMiden/air-script#209 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
write MidenVM constraints for the decoder block stack table (multiset check constraints) Offen

MidenVM constraints

0xMiden/air-script#210 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
write MidenVM constraints for the system trace (except the `clk` column) Offen

MidenVM constraints

0xMiden/air-script#211 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Implement support for combination of constraint comprehension and selectors Offen

0xMiden/air-script#220 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Allow inlined vectors as iterables in list and constraint comprehension Offen

0xMiden/air-script#230 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Allow users to combine constraints applied on same selectors Offen

0xMiden/air-script#231 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add IR tests Offen

0xMiden/air-script#235 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
modularity for boundary constraints Offen

0xMiden/air-script#240 · 1 Kommentar · 2 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Write new memory constraints to check correctness Offen

0xMiden/air-script#244 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Consider optionally allowing named segments as evaluator parameters Offen

0xMiden/air-script#268 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Forbid name shadowing on comprehensions Offen

0xMiden/air-script#273 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Treatment of duplicate integrity constraints Offen

good first issue

0xMiden/air-script#275 · 4 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Stdlib for airscript Offen

0xMiden/air-script#294 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Point and sequence assertions Offen

0xMiden/air-script#313 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Sort public inputs by name Offen

0xMiden/air-script#314 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Sort boundary constraints Offen

0xMiden/air-script#315 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Separation between Felt, Binary, and Integer types Offen

parser

0xMiden/air-script#334 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Error if an evaluator column is unconstrained Offen

0xMiden/air-script#346 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Reproducible Build Offen

0xMiden/air-script#347 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Optimize Winterfell codegen in some expressions Offen

0xMiden/air-script#354 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Working example Miden VM with minimal set of constraints Offen

MidenVM constraints

0xMiden/air-script#377 · 7 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Design and implement support multiple main traces Offen

IR parser

0xMiden/air-script#379 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
JSON output for Fabric VPU Offen

codegen

0xMiden/air-script#381 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
feat: Export Rust structs representing the trace layout Offen

0xMiden/air-script#384 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Ensure Winterfell generated codegen can be proven and verified Offen

tests

0xMiden/air-script#390 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
ACE: Handle arbitrary degree AIRs Offen

codegen

0xMiden/air-script#391 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
ACE: Handle single row constraints Offen

0xMiden/air-script#392 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add `no_std` support Offen

0xMiden/air-script#393 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Busses: generate powers of auxiliary random values Offen

0xMiden/air-script#397 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Change list comprehensions' body from ScalarExpr to Expr Offen

0xMiden/air-script#407 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Test ACE layout Offen

tests

0xMiden/air-script#421 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026

0xMiden/air-script

Neue Issues direkt in Ihr Postfach