Module univariate_zerocheck

Structs

• BatchZerocheckUnivariateOutput
• ZerocheckUnivariateProof
  Batched univariate zerocheck proof.

Functions

• batch_verify_zerocheck_univariate_round
  Verify a batched zerocheck univariate round.
• domain_size
  Univariatized domain size.
• extrapolated_scalars_count
  For zerocheck, we know that a honest prover would evaluate to zero on the skipped domain.