Prove-and-retire prover (Approach 1), per-table and batched - #994

Draft

jotabulacios wants to merge 67 commits into

mainfrom

perf/streaming-retire-lde

Commits on Sep 15, 2026

Retire the main LDE after the Round 1 commit
jotabulacios
committed
2690c66
Trigger the LDE retire on memory pressure
jotabulacios
committed
89616b7
Sort the dedup'd ops so trace builds repeat
jotabulacios
committed
a0d182e
Split the trace build into route and per-table
jotabulacios
committed
9cbca77
Retire the traces too, rebuilding them per chunk
jotabulacios
committed
f8daaa5
Count what the memory modes actually cost
jotabulacios
committed
2ce57c4
Let the executor resume from a saved VM state
jotabulacios
committed
0745369
Take HALT's presence from the AIR set
jotabulacios
committed
b0066bc

Commits on Sep 16, 2026

Walk the execution instead of being handed it
jotabulacios
committed
3db72b7
Close and commit a table while the run continues
jotabulacios
committed
b9476c9
Share one derivation for the CPU-driven tables
jotabulacios
committed
47e1338
Stop closing SHIFT early: CPU32 still feeds it
jotabulacios
committed
0fef095
Derive MUL and DVRM in the shared derivation
jotabulacios
committed
237b688
Keep one intermediate for the collected ops
jotabulacios
committed
8d8cc5b
Run the Commit phase: commit and drop as you walk
jotabulacios
committed
8482352
Pad and commit what the walk could not close
jotabulacios
committed
b5419ea
Keep a retired chunk's BITWISE lookups
jotabulacios
committed
56b0b9d
Build the tables written once from the whole run
jotabulacios
committed
567eeae
Count DECODE lookups by pc, not per cycle
jotabulacios
committed
4ce864d
Finish the end-of-run tables: HALT, REGISTER, PAGE
jotabulacios
committed
f53347e
Split a preprocessed table's Round 1 roots
jotabulacios
committed
dcdc2e3
Carry what the statement needs out of the walk
jotabulacios
committed
ead5b0d
Run the Commit phase to the end in one call
jotabulacios
committed
d1e025d
Sample one challenge for the whole execution
jotabulacios
committed
352dd0a
Measure each trace-build path on its own
jotabulacios
committed
3efd331
Walk the execution once per pass, not per phase
jotabulacios
committed
a6ab177
Build the LogUp columns against the one challenge
jotabulacios
committed
26281d6
Measure Approach 1 one pass at a time
jotabulacios
committed
e11422a
Fold rounds 2 and 3 into the LogUp pass
jotabulacios
committed
3b7a2c5
Stop building a Merkle tree the pass throws away
jotabulacios
committed
80c436c
Work on several tables at a time in each pass
jotabulacios
committed
2f9f93a
Prove each table through round 4, and verify it
jotabulacios
committed
7f7a5d0
Report what one FRI per table costs
jotabulacios
committed
11607ce
Fold a group of tables into one FRI
jotabulacios
committed
05d1257
Show where the proving pass spends its time
jotabulacios
committed
dc1971e

Commits on Sep 17, 2026

Bring the mixed-height MMCS and the batched FRI
jotabulacios
committed
6917f6b
Take the batched format back out for now
jotabulacios
committed
3494ef7
Draw the batch coefficient from every table
jotabulacios
committed
02e7681
Fold every table into one FRI per domain
jotabulacios
committed
57b5f12
Give each group the queries its members open at
jotabulacios
committed
bbe6aa6
Open a table at the indices its group decided
jotabulacios
committed
053660a
Walk once more and open every table
jotabulacios
committed
bf8adb8
Assemble what the five passes produce
jotabulacios
committed
e50a46e
Weigh the batched proof against the per-table one
jotabulacios
committed
91e177a
Stop rebuilding roots the Commit phase already has
jotabulacios
committed
3527f51
Open against the trees, instead of hashing them twice
jotabulacios
committed
228ac2d
Take the kept trees back out: measured, bad trade
jotabulacios
committed
2f505b9
Fold each codeword as it appears, and drop it
jotabulacios
committed
43c2cbb
Derive the batched proof's challenges from the proof
jotabulacios
committed
26631c1
Keep walking while the batch is proved
jotabulacios
committed
c462b4f
Measure the walk on its own
jotabulacios
committed
4147862

Commits on Sep 18, 2026

Keep large buffers warm in jemalloc
jotabulacios
committed
9abbdae
Build the AIRs once for all the passes
jotabulacios
committed
fdffe8d
Take the resident commits off the critical path
jotabulacios
committed
cf2d51e
Give LT and BITWISE what retired chunks owe them
jotabulacios
committed
fbba10a
Keep the composition parts for the Open pass
jotabulacios
committed
1f6bae7
Batch the resident tables after the walk
jotabulacios
committed
43700b1
Verify the batched proof
jotabulacios
committed
ed06112
Document the prove-and-retire prover
jotabulacios
committed
b6ce5d3
Name the trace-build flag after what it does
jotabulacios
committed
f800e4b
Review fixes for prove-and-retire (#994) (#995)
MauroToscano
authored
0d5abe2

Commits on Sep 21, 2026

Merge main and adopt its empty-table rule
jotabulacios
committed
f9d29f2
Verify a batched proof inside the VM
jotabulacios
committed
f960262
Reject a lying width when the proof is bytes
jotabulacios
committed
95bd62b

Commits on Sep 23, 2026

Merge main and drop the runtime jemalloc knob
jotabulacios
committed
adcf759
Take the batched proof by value, not by clone
jotabulacios
committed
120e85a

Commits on Sep 24, 2026

Grind deterministically in tests
jotabulacios
committed
05eb32c