Talk by Jonathan Bootle: “Sumcheck Arguments and their Applications”
On 9 July 2021 at 16:00 CEST, Jonathan Bootle will give a talk titled “Sumcheck Arguments and their Applications”.
You can join the Zoom meeting using the details provided here.
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.
Biography:
I am a cryptography researcher, currently working on efficient zero-knowledge proofs, especially those based on lattice assumptions or error-correcting codes. I am also interested in number theory, game theory, and quantum information theory. I am currently working as a researcher in the Foundational Cryptography group at IBM Research, Zürich.