Module bivariate_product

Structs

BivariateSumcheckProver

Sumcheck prover implementation for the special case of bivariate product compositions over large-field multilinears.

Enums

PhaseState

SumcheckMultilinear

A multilinear polynomial that is being processed by a sumcheck prover.

Functions

calculate_round_evals

Calculates the evaluations of the products of pairs of partially specialized multilinear polynomials for sumcheck.