Lecture 4: PCP via GKR and Interactive Arguments, Part 1 | MIT OpenCourseWare | Podwise