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

Enums

ClaimsSortingOrder

Sorting order of the eq-ind sumcheck claims passed to verify_sumcheck_outputs

Functions

reduce_to_regular_sumchecks

A reduction from a set of eq-ind sumcheck claims to the set of regular sumcheck claims.

verify_sumcheck_outputs

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