MIT

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

Data Science, Analytics & Computer TechnologyNetworks and SecurityComputer ScienceEngineering

Om kurset

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