Advanced Topics in Cryptography

Lecture 4: PCP via GKR and Interactive Arguments

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 Videos

Part 1

Your browser does not support some features required to play this video. Please update your browser to the latest version for the best experience. You can also download the video to watch it offline.

Part 2

Your browser does not support some features required to play this video. Please update your browser to the latest version for the best experience. You can also download the video to watch it offline.