Module univariate

Structs

• ZerocheckUnivariateEvalsOutput
• ZerocheckUnivariateFoldResult

Functions

• reduce_to_skipped_projection
  Helper method to reduce the witness to skipped variables via a partial high projection.
• univariatizing_reduction_prover
  Create the sumcheck prover for the univariatizing reduction of multilinears (see verifier side)
• zerocheck_univariate_evals
  Compute univariate skip round evaluations for zerocheck.

Type Aliases

• Prover