A Time-Space Tradeoff for the Sumcheck Prover.

Alessandro Chiesa Elisabetta Fedele Giacomo Fenzi Andrew Zitek-Estrada

Published in: IACR Cryptol. ePrint Arch. (2024)

Keyphrases

search space
information retrieval
space time
artificial intelligence
social networks
decision trees
high dimensional
trade off
solution space
real world
computer vision
decision making
multiresolution
first order logic
theorem prover
theorem proving