Module univariate

Functions

• univariatizing_reduction_prover
  Create the sumcheck prover for the univariatizing reduction of multilinears (see verifier side)

Type Aliases

• Prover