Feat/univariate logup gkr#1188

Merged

diegokingston merged 21 commits intomainfrom

feat/univariate_logup_gkr

Mar 9, 2026

Commits on Mar 2, 2026

Add univariate LogUp-GKR infrastructure

jotabulacios
authored and
diegokingston
committed
Implement Section 5 univariate IOP for LogUp-GKR (Phase 1 with Fiat-Shamir commitments)

jotabulacios
authored and
diegokingston
committed
Implement FRI PCS and univariate sumcheck for LogUp-GKR

jotabulacios
authored and
diegokingston
committed
fix clippy

jotabulacios
authored and
diegokingston
committed
improve Readme

jotabulacios
authored and
diegokingston
committed
Rename caulk_style example to univariate_to_multilinearand improve Readme

jotabulacios
authored and
diegokingston
committed
harden FRI PCS soundness

jotabulacios
authored and
diegokingston
committed
convert panics to result

jotabulacios
authored and
diegokingston
committed
remane functions

jotabulacios
authored and
diegokingston
committed
remane PCS

jotabulacios
authored and
diegokingston
committed
Add univariate IOP + FRI examples for ROM check and range check

jotabulacios
authored and
diegokingston
committed
remove unused commitment types and document Lagrange column's Boolean hypercube convention

jotabulacios
authored and
diegokingston
committed
add optional serde support

jotabulacios
authored and
diegokingston
committed
Deduplicate FRI query indices to avoid redundant verification work

jotabulacios
authored and
diegokingston
committed
fix(gkr-logup): address review findings — security comments, error handling, tests
diegokingston
committed