Feat/fext accelerator#818

Open

jotabulacios wants to merge 40 commits into

mainfrom

feat/fext-accelerator

Commits on Jul 15, 2026

Merge remote-tracking branch 'origin/main' into feat/fext-accelerator
jotabulacios
committed

Commits on Jul 17, 2026

Sort LT trace rows into a canonical order to make the prover deterministic
jotabulacios
committed
Fix CI by sorting branch, bytewise, dvrm, eq, and mul trace rows into a canonical order
nicole-graus
committed
Force the portable Goldilocks modular-add on x86_64 to isolate a codegen-sensitive CI failure
jotabulacios
committed
Set codegen-units=1 to probe a codegen-sensitive CI-only FEXT failure
jotabulacios
committed
Try opt-level=1 to probe the codegen-sensitive CI-only FEXT failure
jotabulacios
committed
Temp: prover-tests CI runs only test_prove_elfs_fext
jotabulacios
committed
Try opt-level=0 to test if the FEXT miscompile is optimization-driven
jotabulacios
committed
Force-inline verify_rounds_2_to_4 to dodge a CI-only miscompile
jotabulacios
committed
Declare FEXT_PAGE next-row reads for OOD pruning
jotabulacios
committed
Declare FEXT_PAGE next-row OOD reads, merge main
jotabulacios
committed

Commits on Jul 20, 2026

Commits on Jul 21, 2026

Merge branch 'main' into feat/fext-accelerator
jotabulacios
authored