Completed
Interactive Oracle Proofs
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Transparent SNARKs from DARK Compilers
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Summary of results
- 3 Efficiency: Succinctness
- 4 Security: Binding / Knowledge
- 5 Why? To make Riad happy!
- 6 Why? To build SNARKS...
- 7 with transparent setup...
- 8 from polynomial IOPs
- 9 Recent Comparison
- 10 Yuval's talk: Cryptographic compilation
- 11 Ishai, Kushilevitz, Ostrovksy '07 Cryptographic compiler. Linear homomorphic encryption
- 12 R1CS Preprocessing SNARK
- 13 Interactive Oracle Proofs
- 14 IOPs Efficiency
- 15 STARK, Aurora
- 16 Interactive linear PCPs?
- 17 Polynomial IOP Compilation
- 18 Sonic: Polynomial IOP for NP
- 19 Sonic: Uniform Circuits
- 20 Supersonic
- 21 Spartan / Clover / BFL
- 22 New Polynomial Commitment
- 23 Integer Encoding
- 24 Diophatine gument of nowledge
- 25 Evaluation
- 26 Proof of Exponentiation (Wes'18)
- 27 Class Groups BW88,L12
- 28 Optimizations