compare evaluation winterfell plonky3#533

Draft

Soulthym wants to merge 50 commits into0xMiden:nextfrom

massalabs:feat-compare-eval-winterfell-plonky3

Commits on Sep 19, 2025

fix(codegen): differentiate integrity and transition constraints
Leo-Besancon
committed
refactor(codegen): avoid public_+value Vec allocation
Leo-Besancon
committed
chore: changelog, lint fix and removed unused IntegrityConstraintDegree codegen
Leo-Besancon
committed

Commits on Sep 24, 2025

Commits on Sep 26, 2025

Commits on Oct 15, 2025

Commits on Oct 20, 2025

Commits on Dec 4, 2025

Target 0xMiden Plonky3 repo and use AirScriptAir and AirScriptBuilder traits (#508)
Leo-Besancon
authored

Commits on Dec 17, 2025

feat: prove/verify and sync plonky3 (#523)
Leo-Besancon
authored

Commits on Jan 5, 2026

Merge branch 'next' into add_plonky3_backend
Leo-Besancon
committed

Commits on Jan 6, 2026

feat: Target p3-miden repo
Leo-Besancon
committed
Add Miden VM constraint files

Al-Kindi-0
authored and
Leo-Besancon
committed
test: Add failing test for cross-module constant dependencies

Al-Kindi-0
authored and
Leo-Besancon
committed
fix: Handle cross-module constant dependencies in dependency graph and MIR translation

Al-Kindi-0
authored and
Leo-Besancon
committed
enable hasher constraints

Al-Kindi-0
authored and
Leo-Besancon
committed
test: Add failing test for comprehension periodic binding scoping

Al-Kindi-0
authored and
Leo-Besancon
committed
fix: Convert comprehension bindings to Local type for proper scoping

Al-Kindi-0
authored and
Leo-Besancon
committed
misc. fixes

Al-Kindi-0
authored and
Leo-Besancon
committed
Add Kernel ROM chiplet constraints (#484)

Al-Kindi-0
authored and
Leo-Besancon
committed

Commits on Jan 7, 2026

chore: cleanup tests path
Leo-Besancon
committed

Commits on Jan 9, 2026