Katerina Sotiraki: Sumcheck Arguments and their Applications

Friday, October 22, 2021 - 1:00pm to 2:30pm
email dlehto@mit.edu for Zoom Link, 32-370 for hybrid
Katerina Sotiraki

Abstract: In this talk, I will present sumcheck arguments; a new class
of interactive protocols which show that "split-and-fold protocols"
(such as Bulletproofs and many more) are consequences of the Lund et
al. sumcheck protocol from 1992.
I will explain how many existing commitment schemes can be framed as
"sumcheck-friendly commitments" over rings and modules, and how to
obtain succinct arguments for NP-complete statements over rings. This
gives a lattice-based succinct argument from the SIS assumption, which
was previously open.

Joint work with Jonathan Bootle and Alessandro Chiesa