Skip to main content

Module selector_mle

binius_ip_prover::sumcheck

Module selector_mle 

Source

Structsยง

Claim
SelectorMlecheckProver
A SumcheckProver implementation that proves an mlecheck over many compositions of the form selected * selector + (1 - selector), where selected is the shared large field multilinear and selector comes from the set of 1-bit multilinears. Unlike other multi mlecheck provers however the evaluation point is not shared but is specified per selector.