feat(ppsnark): improve ppsnark memory-check with Logup-GKR - #501

Open

SunJc (Sun-Jc) wants to merge 4 commits into

microsoft:mainfrom

Sun-Jc:feat/ppsnark/gkr

Commits on Jul 14, 2026

feat(spartan): Logup-GKR memory-check for ppSNARK
SunJc (Sun-Jc)
committed
7100297
fix(frontend): clear clippy 1.97 lints in test_shape_cs and num gadget
SunJc (Sun-Jc)
committed
552c94c

Commits on Jul 18, 2026

perf(logup-gkr): reuse round-zero parent claims
SunJc (Sun-Jc)
committed
e875d62

Commits on Jul 22, 2026

perf(ppsnark): parallelize outer sum-check uCz_E construction
SunJc (Sun-Jc)
committed
0edb2bd