A Time-Space Tradeoff for the Sumcheck Prover
eprint.iacr.org · 5,646 words · saved by 1 readers
N/A
A Time-Space Tradeoff for the Sumcheck Prover Alessandro Chiesa Elisabetta Fedele alessandro.chiesa@epfl.ch efedele@ethz.ch EPFL ETH Zurich Giacomo Fenzi Andrew Zitek-Estrada giacomo.fenzi@epfl.ch andrew.zitek@epfl.ch EPFL EPFL August 15, 2024…
related reading
- small-sumcheck.pdfpeople.cs.georgetown.edu
- 370.pdfeprint.iacr.org
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- WHIR: Reed–Solomon Proximity Testing with Super-Fast Verificationeprint.iacr.org
- A Zero Knowledge Sumcheck and its Applicationsarxiv.org
- 1043.pdfeprint.iacr.org
- Collaborative zkSNARKseprint.iacr.org
- The Spartan zkSNARK framework - Alin Tomescualinush.github.io
- 1482.pdfeprint.iacr.org
- Doubly-efficient zkSNARKs without trusted setupeprint.iacr.org
- 552.pdfeprint.iacr.org
- 1404.5236 Sum-of-Squares Proofs and the Quest toward Optimal Algorithmsarxiv.org