
What's the sumcheck protocol?
How to combine multilinear polynomial commitments with sumchecks?
How to build a tiny snark proof system?
Speaker:Guo Yu
Founder of SECBIT Labs, with a research focus on Zero-Knowledge Proofs (ZKP) and Formal Verification.