Module zerocheck

Structs

BatchZerocheckOutput

Output of the batched zerocheck reduction

ZerocheckClaim

ZerocheckRoundEvals

Zerocheck round polynomial in Lagrange basis

Functions

domain_size

Univariatized domain size.

extrapolated_scalars_count

For zerocheck, we know that a honest prover would evaluate to zero on the skipped domain.

reduce_to_eq_ind_sumchecks

A reduction from a set of multilinear zerocheck claims to the set of univariatized eq-ind sumcheck claims.

univariatizing_reduction_claim

Creates a “combined” sumcheck claim for the reduction from evaluations of univariatized virtual multilinear oracles to “regular” multilinear evaluations.

verify_reduction_sumcheck_output

Verify the validity of sumcheck outputs for the reduction zerocheck.