Skip to main content

Module bivariate_product_mle

binius_ip_prover::sumcheck

Module bivariate_product_mle 

Source

Functionsยง

new
Creates an MleCheckProver that reduces an evaluation claim on a multilinear extension of the product of two multilinears to evaluation claims on said multilinears.
new_split_half
Reduces the product of the two halves of a single buffer, sharing one allocation.