Completed
Can We Prove Soundness
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Statistical ZAP Arguments
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Argument Systems
- 3 Statistical Zap Arguments
- 4 First Result
- 5 Outline
- 6 The Fiat-Shamir Transform
- 7 Can We Prove Soundness
- 8 Correlation Intractability for Efficient Functions
- 9 Commitment Schemes
- 10 First Step: Computational
- 11 Commitment Scheme Properties
- 12 Are we stuck?
- 13 Statistically-Hiding Extractable Commitments?
- 14 The Construction
- 15 Recap