Abstract

Many succinct arguments are obtained by combining an information-theoretic probabilistic proof and a cryptographic commitment scheme. In this talk I will explain how several several popular constructions of succinct arguments can be viewed as special cases of one elegant recipe, facilitating a systematic and precise understanding of a notable region of the SNARG-scape.

Attachment

Video Recording