Completed
Compiled Polynomial IOP – Soundness
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 General Purpose Zero-Knowledge Proofs
- 3 Compilation Pipeline
- 4 Contributions
- 5 Talk Outline
- 6 Polynomial Commitment Scheme
- 7 Evaluation Protocol with Special Homomorphic Commitment
- 8 Groups of Unknown Order
- 9 Hardness Assumptions
- 10 What are GUOs good for?
- 11 Integer Encoding
- 12 Polynomial IOP Compiler
- 13 Compiled Polynomial IOP – Soundness
- 14 Supersonic / Other Constructions
- 15 Supersonic Performance
- 16 Conclusions
