MIT

Lecture 4: PCP via GKR and Interactive Arguments, Part 1

Data Science, Analytics & Computer TechnologyNetworks and SecurityComputer ScienceEngineering

Om kurset

This lecture covers topics including the probabilistically checkable proofs (PCP), definition and construction from GKR and the interactive succinct argument for NP.