Skip to main content

prove_single_mlecheck

binius_ip_prover::sumcheck

Function prove_single_mlecheck 

Source 
pub fn prove_single_mlecheck<F: Field>(
    prover: impl MleCheckProver<F>,
    channel: &mut impl IPProverChannel<F>,
) -> ProveSingleOutput<F>
Expand description

Executes the MLE-check proving protocol for a single multivariate polynomial.

Analogous to prove_single for the MLE-check protocol instead of sumcheck.