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

Name: Lecture 4: PCP via GKR and Interactive Arguments, Part 2
Uploaded: 2025-01-29T15:19:58Z
Duration: 1 h 10 min 48 s
Description: This lecture continues the topics including the probabilistically checkable proofs (PCP), definition and construction from GKR and the interactive succinct argument for NP.

1:10:48

Up Next

Lecture 5: The Kilian-Micali Protocol, Part 1

Continue

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