Struct BatchSumcheckOutput 

pub struct BatchSumcheckOutput<F: Field> {
    pub challenges: Vec<F>,
    pub multilinear_evals: Vec<Vec<F>>,
}

Prover view of the execution result of a batched sumcheck.

Fields

challenges: Vec<F>

Verifier challenges for each round of the sumcheck protocol.

One challenge is generated per variable in the multivariate polynomial, with challenges[i] corresponding to the i-th round of the protocol. This binding order matches prove_single and batch_verify; when folding high-to-low, reverse to obtain the variable-indexed evaluation point.

multilinear_evals: Vec<Vec<F>>

Evaluation claims on non-transparent multilinears, per prover.

Each inner vector contains the evaluation values for one prover’s multilinear polynomials at the challenge point.

Implementations

impl<F: Field> BatchSumcheckOutput<F>

pub fn send_evals(&self, channel: &mut impl IPProverChannel<F>)

Sends every prover’s evaluation claims to the verifier, in prover order.

The per-prover grouping is prover-side bookkeeping only. The elements reach the transcript as one flat run, which is how the verifier reads them.

Trait Implementations

impl<F: Debug + Field> Debug for BatchSumcheckOutput<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: Eq + Field> Eq for BatchSumcheckOutput<F>

impl<F: PartialEq + Field> PartialEq for BatchSumcheckOutput<F>

fn eq(&self, other: &BatchSumcheckOutput<F>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<F: PartialEq + Field> StructuralPartialEq for BatchSumcheckOutput<F>