Module univariate

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.