binius_core::protocols::sumcheck

Module univariate

Source

Structs§

LagrangeRoundEvals
A univariate polynomial in Lagrange basis.

Functions§

univariatizing_reduction_claim
Creates sumcheck claims for the reduction from evaluations of univariatized virtual multilinear oracles to “regular” multilinear evaluations.
verify_sumcheck_outputs
Verify the validity of sumcheck outputs for the reduction zerocheck.