Feat/streaming prover - #647

Closed

diegokingston wants to merge 10 commits into

mainfrom

feat/streaming-prover

Commits on Jun 2, 2026

feat(stark/prover): streaming retire-LDE mode (opt-in, Approach 1 M1)
diegokingston
committed
6562c5f
refactor(stark/prover): extract prove_rounds_2_to_3 (no behavior change)
diegokingston
committed
1c02201
refactor(stark/prover): two-pass chunk loop (Rounds 2-3 then Round 4)
diegokingston
committed
a25d31c
refactor(stark/prover): sample DEEP coeffs in Rounds 2-3 (no behavior change)
diegokingston
committed
8e20e98
feat(stark): batched FRI within a chunk (per-lde_size bucket)
diegokingston
committed
3062e69

Commits on Jun 3, 2026