A divide-and-conquer sumcheck protocol

Christophe Levrat, Tanguy Medevielle, Jade Nardi

We present a new sumcheck protocol called Fold-DCS (Fold-Divide-and-Conquer-Sumcheck) for multivariate polynomials based on a divide-and-conquer strategy. Its round complexity and…