Completed
Succinct Verification for Circuits
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Marlin - Preprocessing zkSNARKs with Universal and Updatable SRS
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Succinct Non-Interactive Arguments
- 3 Succinct Verification for Circuits
- 4 Contributions Part 1: Theory
- 5 Contribution Part 3: Implementation
- 6 Algebraic Holographic Proofs
- 7 Problem: Verifier is linear in circuit siz
- 8 Polynomial Commitments
- 9 Preprocessing zkSNARKS
- 10 Universal Setup
- 11 Circuit-specific Preprocessing
- 12 Prove and Verify
- 13 Properties
- 14 Conclusion In this talk: Our methodology
