Module eq_ind

Structs

EqIndSumcheckClaim

A group of claims about the sum of the values of multilinear composite polynomials over the boolean hypercube multiplied by the value of equality indicator.

ExtraProduct

Functions

reduce_to_regular_sumchecks

Requirement: eq-ind sumcheck challenges have been sampled before this is called

verify_sumcheck_outputs

Verify the validity of the sumcheck outputs for a reduced eq-ind sumcheck.