Module round_evals 

Sampled round-polynomial evaluations, and their interpolation to monomial coefficients.

A sumcheck round produces one univariate polynomial per claim. The prover samples it at a few nodes, then solves for its coefficients.

    accumulate    sum the composition over the halved hypercube, at each sampled node
    reduce        collapse the wide accumulator, once per round
    sum_scalars   sum the packed lanes into field elements
    interpolate   recover the node at 0 from the round claim, then solve

The evaluation at 0 is never sampled. Recovering it from the round claim saves the prover one node per round.

Structs

RoundEvals

The D sampled evaluations of one claim’s round polynomial.