Completed
Our New Algorithm for GKR Prover Phase 1
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Efficient Zero Knowledge Proof from Interactive Proofs
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Zero Knowledge Proof
- 3 Efficiency Measures
- 4 Existing Constructions of ZKP
- 5 Doubly Efficient Interactive Proof [GKR15]
- 6 Sumcheck Protocol LNFK 92
- 7 Prover Time of Sumcheck on Multilinear Polynomials
- 8 Prover Time of GKR
- 9 Our New Algorithm for GKR Prover Phase 1
- 10 Performance Matrix mult
- 11 Properties of GKR Protocol
- 12 Leakage of GKR Proof
- 13 Prior Approach to Achieve Zero Knowledge
- 14 Our Approach
- 15 Argument System from GKR [ZGK+17]
- 16 Removing Trusted Setup
- 17 Complexity of Our New Polynomial Commitment
- 18 Putting Everything Together
- 19 Comparison to Other ZKP Systems