Module univariate_zerocheck

Structs

BatchZerocheckUnivariateOutput

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.