March 16, 2020
The Unreasonable Power of the Sum-CheckProtocol
When designing an efficient interactive proof system, there is only one hammer you need to have in your toolbox: the sum-check protocol of Lund, Fortnow, Karloff, and Nisan.
0 Comments20 Minutes