MIT

Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1

Data Science, Analytics & Computer TechnologyNetworks and SecurityComputer ScienceEngineering

Om kurset

This lecture covers topics including definition of interactive proofs (IP), the sum-check protocol, and the application of interactive proof for #SAT.