feat(ppsnark): Batch the Logup-GKR last layer with the Inner sumcheck batch - #502

Open

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

microsoft:mainfrom

Sun-Jc:feat/ppsnark/gkr-inner-batched

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

Commits on Jul 24, 2026

feat(ppsnark): fuse the Logup-GKR last layer with the Inner sumcheck
SunJc (Sun-Jc)
committed
c2a1c02