Transparent SNARKs from DARK Compilers

Transparent SNARKs from DARK Compilers

Simons Institute via YouTube Direct link

Why? To make Riad happy!

5 of 28

5 of 28

Why? To make Riad happy!

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. 1 Intro
  2. 2 Summary of results
  3. 3 Efficiency: Succinctness
  4. 4 Security: Binding / Knowledge
  5. 5 Why? To make Riad happy!
  6. 6 Why? To build SNARKS...
  7. 7 with transparent setup...
  8. 8 from polynomial IOPs
  9. 9 Recent Comparison
  10. 10 Yuval's talk: Cryptographic compilation
  11. 11 Ishai, Kushilevitz, Ostrovksy '07 Cryptographic compiler. Linear homomorphic encryption
  12. 12 R1CS Preprocessing SNARK
  13. 13 Interactive Oracle Proofs
  14. 14 IOPs Efficiency
  15. 15 STARK, Aurora
  16. 16 Interactive linear PCPs?
  17. 17 Polynomial IOP Compilation
  18. 18 Sonic: Polynomial IOP for NP
  19. 19 Sonic: Uniform Circuits
  20. 20 Supersonic
  21. 21 Spartan / Clover / BFL
  22. 22 New Polynomial Commitment
  23. 23 Integer Encoding
  24. 24 Diophatine gument of nowledge
  25. 25 Evaluation
  26. 26 Proof of Exponentiation (Wes'18)
  27. 27 Class Groups BW88,L12
  28. 28 Optimizations

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.