Feat/batched fri per epoch#768

Draft

diegokingston wants to merge 16 commits into

mainfrom

feat/batched-fri-per-epoch

Commits on Jun 30, 2026

Commits on Jul 2, 2026

refactor(prover): linear shared transcript + batched composition MMCS
diegokingston
committed
refactor(prover): one shared OOD point z per epoch
diegokingston
committed
feat(proof): BatchedMultiProof shard proof format (scaffolding)
diegokingston
committed
refactor(prover): split round 3 (all OOD) from round 4 in multi_prove
diegokingston
committed
feat(prover): multi_prove_batched — batched round 4 over shared MMCS
diegokingston
committed
feat(verifier): batched_multi_verify — unified-shard roundtrip gate
diegokingston
committed
test(verifier): batched soundness negatives (T8)
diegokingston
committed
feat(prover): make batched (MMCS unified-shard) the default monolithic path
diegokingston
committed
test(prover): validate batched path on real VM tables + preprocessed
diegokingston
committed