Feat/batched fri per epoch - #768

Draft

diegokingston wants to merge 45 commits into

mainfrom

feat/batched-fri-per-epoch

Commits on Jun 30, 2026

feat(fri): combine DEEP codewords by height for batched FRI
diegokingston
committed
26c9704
feat(fri): batched fold-and-inject commit phase (arity 2)
diegokingston
committed
c667138
feat(fri): shared round-4 transcript binding
diegokingston
committed
5d165ea

Commits on Jul 1, 2026

Commits on Jul 2, 2026

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

Commits on Jul 3, 2026

Merge origin/main into feat/batched-fri-per-epoch
diegokingston
committed
5ba856b

Commits on Jul 6, 2026

Commits on Jul 7, 2026

Commits on Jul 13, 2026

Merge branch 'main' into feat/batched-fri-per-epoch
diegokingston
authored
d656de7

Commits on Jul 14, 2026

Merge branch 'main' into feat/batched-fri-per-epoch
diegokingston
authored
8f4aa21

Commits on Jul 15, 2026

Commits on Jul 16, 2026

Commits on Jul 17, 2026

Merge branch 'main' into feat/batched-fri-per-epoch
diegokingston
authored
0880cff

Commits on Jul 21, 2026