Completed
Efficiency: Succinctness
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