Lecture 2: Doubly Efficient Interactive Proofs, Part 1
Data Science, Analytics & Computer TechnologyNetworks and SecurityComputer ScienceEngineering
Om kurset
This lecture covers topics including definition and examples of doubly efficient IP for counting triangles in a graph, low-degree extension, and doubly efficient IP for all bounded depth computations (the GKR protocol).