refactor: delete the batched proof format, per-table only - #973

Merged

MauroToscano merged 7 commits into

per-table-gpufrom

pt/delete-batched

Sep 8, 2026

Commits on Sep 8, 2026

refactor(math-cuda): delete the mixed-height MMCS device build
MauroToscano
committed
7f40e4d
test(lfm): drop the batched-format tests, keep the global leg as its own module
MauroToscano
committed
7fadfbc
refactor(lfm): delete the batched epoch emitters and prove/verify entry points
MauroToscano
committed
c4c53dc
refactor(continuation): one epoch proof format, per-table
MauroToscano
committed
1c48623
refactor(stark): delete the batched prover, verifier and mixed-height FRI
MauroToscano
committed
69708d4
fix(recursion): bump the input wire version to 3 for the one-format epoch proof
MauroToscano
committed
0556f34
docs(lfm): say what leaves prep_root unchecked, now that it is nothing
MauroToscano
committed
8531e2e