1 paper
Azucena Garvía Bosshard, Jonathan Bootle, Christoph Sprenger
The sumcheck protocol, introduced in 1992, is an interactive proof which is a key component of many probabilistic proof systems in computational complexity theory and cryptography,…