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

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

1:29:42

Up Next

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

Continue

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