I am organizing a Sumcheck Builder group. I host regular meetings in the group, and communitcates recent updates around Sumcheck based zeroknowledge proofs, both in theory and in practicse, within the group. PM me if you are interested in joining.

So nice to see that A16Z built Jolt on top of my Ark-spartan code base. And thanks to the team for sharing their credit with me.

New paper! We show how to build a zkVM from GKR prover.

Our paper Chipmunk: Better Synchronized Multi-Signatures from Lattices is accepted by ACM CCS 2023. Improving previous state-of-the-art Squirrel by 5x.

Link to the paper and code