Feat/fri early termination#729

Draft

diegokingston wants to merge 13 commits into

mainfrom

feat/fri-early-termination

Commits on Jun 26, 2026

feat(stark): add fri_final_poly_log_degree to ProofOptions (default 7)
diegokingston
committed
polish(stark): document fri_final_poly_log_degree field + complete options snapshot test
diegokingston
committed
feat(prover): bind fri_final_poly_log_degree into Fiat-Shamir statement (DOMAIN_TAG _V3)
diegokingston
committed
test(prover): cover fri_final_poly_log_degree transcript binding; fix call-site comment
diegokingston
committed
feat(stark): terminal FRI codeword <-> coefficients helper with roundtrip test
diegokingston
committed
harden(stark): precondition guard + cleanups in terminal codeword helper
diegokingston
committed
feat(stark): FRI early termination — commit phase emits coeffs, verifier reconstructs terminal codeword
diegokingston
committed
refactor(stark): dedup verifier FRI clamp params, fix cuda ref, add single-fold test
diegokingston
committed
test(stark): FRI early-termination soundness negatives (tamper, over/under-length, cross-K)
diegokingston
committed
test(stark): FRI proof-size breakdown report (queries/roots/hashes/coeffs)
diegokingston
committed
feat(stark): disable GPU FRI commit under early termination (CPU fallback)
diegokingston
committed
chore(stark): remove FRI proof-size measurement report tests
diegokingston
committed
perf(stark): interpolate terminal poly on 2^k sub-coset; move terminal test to tests/
diegokingston
committed