Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Bosshard, Azucena Garvía"'
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, some of which have been deployed. However, none of these proof system
Externí odkaz:
http://arxiv.org/abs/2402.06093
