Issues

• [Plonky3 Codegen] Propagate tagging to Plonky3 generated constraints

  0xMiden/air-script#555 · Filter by author Leo-Besancon opened on Mar 5, 2026

• [Plonky3 Codegen] Expression de-duplication in generated constraints

  0xMiden/air-script#534 · Filter by author Leo-Besancon opened on Jan 13, 2026

• Compare constraints evaluation on winterfell and plonky3

  tests
  Task

  0xMiden/air-script#532 · Filter by author Soulthym opened on Jan 9, 2026
  

• Remove fmp and in_syscall columns

  0xMiden/air-script#529 · Filter by author Al-Kindi-0 opened on Dec 23, 2025

• [Plonky3 Codegen] Improve the usage of build_aux_trace_with_miden_vm

  0xMiden/air-script#522 · Filter by author Leo-Besancon opened on Dec 4, 2025

• [Plonky3 Codegen] Investigate impact of aux trace generation on CSE pass

  0xMiden/air-script#521 · Filter by author Leo-Besancon opened on Dec 4, 2025

• [Plonky3 Codegen] Support Aux trace generation for logup

  0xMiden/air-script#519 · Filter by author Leo-Besancon opened on Dec 1, 2025

• Allow buses .first and .last to be set to a variable length public input.

  0xMiden/air-script#518 · Filter by author Soulthym opened on Nov 27, 2025

• Avoid Matrix Construct in MDS Multiplication

  Refactoring

  0xMiden/air-script#506 · Filter by author Al-Kindi-0 opened on Nov 1, 2025
  2

• Potential Mir improvements

  0xMiden/air-script#504 · Filter by author Soulthym opened on Oct 31, 2025

• nested slices break the parser and some Middle IR assumptions

  IRparser
  Bug

  0xMiden/air-script#502 · Filter by author Soulthym opened on Oct 23, 2025 · AirScript v0.6

• Improve periodic_column usage in Plonky3 backend

  codegen
  Refactoring

  0xMiden/air-script#492 · Filter by author Leo-Besancon opened on Oct 14, 2025

• Vector Slice Expansion in Evaluator Calls

  IR
  Bug

  0xMiden/air-script#486 · Filter by author Al-Kindi-0 opened on Oct 2, 2025 · AirScript v0.5
  

• The "enf match" pattern and the current chiplets design

  0xMiden/air-script#485 · Filter by author Al-Kindi-0 opened on Oct 1, 2025

• Making use of assert_bools in Plonky3

  codegen
  Enhancement

  0xMiden/air-script#483 · Filter by author Al-Kindi-0 opened on Sep 30, 2025
  2

• Consider using a more optimal way to combine the limbs in the btiwise chiplet constraints

  MidenVM constraints
  Refactoring

  0xMiden/air-script#482 · Filter by author Al-Kindi-0 opened on Sep 30, 2025

• Consider adding a fold + reverse operations

  Enhancement

  0xMiden/air-script#481 · Filter by author Al-Kindi-0 opened on Sep 30, 2025
  1

• Randomize checking of each optimization pass

  0xMiden/air-script#475 · Filter by author adr1anh opened on Sep 26, 2025

• Express and check expression degree

  0xMiden/air-script#474 · Filter by author adr1anh opened on Sep 26, 2025

• Update Hasher chiplet constraints

  0xMiden/air-script#467 · Filter by author Al-Kindi-0 opened on Sep 23, 2025
  1

• Update Bitwise chiplet constraints

  0xMiden/air-script#465 · Filter by author Al-Kindi-0 opened on Sep 23, 2025

• Initial structure with minimal example

  0xMiden/air-script#463 · Filter by author Al-Kindi-0 opened on Sep 19, 2025

• Unify all testing Airs

  Task

  0xMiden/air-script#456 · Filter by author adr1anh opened on Sep 11, 2025

• Miden VM Constraints Implementation in AirScript DSL

  0xMiden/air-script#455 · Filter by author Al-Kindi-0 opened on Sep 10, 2025
  2

• Improve Let statements lowering in MIR

  Refactoring

  0xMiden/air-script#454 · Filter by author Leo-Besancon opened on Sep 5, 2025