The Sumcheck Protocol

Azucena GarvĂ­a Bosshard, Christoph Sprenger 0001, Jonathan Bootle. The Sumcheck Protocol. Archive of Formal Proofs, 2024, 2024. [doi]

Abstract

Abstract is missing.