Skip to main content

bivariate_product_prover

binius_ip_prover::sumcheck::bivariate_product_evaluator

Function bivariate_product_prover 

Source 
pub fn bivariate_product_prover<'alloc, A: Allocator, F: Field, P: PackedField<Scalar = F>>(
    alloc: &'alloc A,
    multilinears: [FieldVec<P, A>; 2],
    sum: F,
) -> SharedSumcheckProver<'alloc, A, P, BivariateProductEvaluator>
Expand description

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

This is the store-backed replacement for the former bespoke bivariate-product prover: it loads the two columns into a fresh MleStore and drives a single BivariateProductEvaluator. The multilinears must have the same number of variables; the returned prover’s finish emits their two evaluations in the given order.