‍

Abstract

In this chapter, we construct a knowledge-reduction argument for the sumcheck protocol that reduces the proving of a large-sized sum-check to the proving of a folded small-sized sum-check.

The folding argument is proven using a batched sum-check protocol that verifies the linear independence and satisfiability of each of the folded instances. The method is more suitable for large fields, where the problem is memory bound.

Full paper: https://github.com/ingonyama-zk/papers/blob/main/sumcheck_201_book.pdf

Code (coming soon): https://github.com/ingonyama-zk/super-sumcheck

‍