Explore the world of succinct arguments in cryptography through this 54-minute conference talk. Delve into topics such as proof carrying data, subquadratic SNARKs, and tightstate restoration soundness. Learn about check arguments and their applications, universal and updatable SNARKs, and QAIOPS. Examine signature schemes, verifiable subspace sampling, and performance comparisons. Gain insights into resettable soundness and various instantiations. Engage with additional questions and discussions to deepen your understanding of this complex cryptographic subject.
Overview
Syllabus
Introduction
Proof Carrying Data
Subquadratic snarks
Tightstate restoration soundness
Some check arguments and their applications
Universal and updatable snarks
QA
IOPS
Signature Schemes
verifiable subspace sampling
additional questions
performance comparison
resettable soundness
other questions
instantiation
Taught by
TheIACR
