Topics
- Probabilistically checkable proofs (PCP): definition and construction from GKR.
- Definition of interactive succinct argument for NP.
- Definition of a collision-resistant hash family.
Readings
None
Lecture 4: PCP via GKR and Interactive Arguments
Course Info
Instructor
Departments
As Taught In
Fall
2023
Level
Learning Resource Types
theaters
Lecture Videos
