You’re only 3 weeks away from a new language
AI Engineer - Learn how to integrate AI into software applications
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.
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