Skip to main content

Module bivariate_product_evaluator

binius_ip_prover::sumcheck

Module bivariate_product_evaluator 

Source

Structs§

BivariateProductEvaluator
Sumcheck round evaluator for a composite defined as the product of two store columns.

Functions§

bivariate_product_prover
Builds a SumcheckProver for the plain hypercube sum of the product of two multilinears.