Feat/gkr logup - #485

Closed

diegokingston wants to merge 22 commits into

mainfrom

Commits on Mar 27, 2026

port logup gkr
jotabulacios
committed
292fce8

Commits on Apr 9, 2026

docs: add scaling improvements spec (unified sizing + MMCS + shared FRI)
diegokingston
committed
bbe4dbc
perf(tables): cap LT/LOAD/BRANCH/MEMW_R max_rows at 2^20
diegokingston
committed
d566602
perf(stark): deduplicate LdeTwiddles by domain size in multi_prove
diegokingston
committed
c3f5719
perf(fri): parallelize fold_evaluations_in_place with Rayon
diegokingston
committed
3aa03e6
perf(prover): eliminate per-row Vec alloc in commit_columns_bit_reversed
diegokingston
committed
ccb7548
Merge feat/logup_gkr_v2: GKR-based LogUp protocol
diegokingston
committed
b2821bf
perf(gkr): parallelize fold_table inner loop with par_chunks(2)
diegokingston
committed
36150b8
feat(gkr): wire batch GKR into STARK prover and verifier
diegokingston
committed
9b038bf
perf(gkr): split-value optimization for eq polynomial in sumcheck
diegokingston
committed
7ec0b56

Commits on Apr 10, 2026

Eliminate O(N) combined_claims recompute in batch GKR by evaluating
jotabulacios
committed
dd6a214
save work
jotabulacios
committed
a9aa266
Port split-value eq optimization (SVO) to batch GKR sumcheck inner
jotabulacios
committed
fb65d0f

Commits on Apr 13, 2026