Wrappers — A Manifesto
Recent posts
GKR Explained: From Cubes to Curves
Soundness via Sum-Check, Folding, and Multilinear Extensions.
A Survey of Interactive Verifiable Computing
Utilizing Randomness in Low-Degree Polynomials.
Soundness via Sum-Check, Folding, and Multilinear Extensions.
Utilizing Randomness in Low-Degree Polynomials.