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