Struct BatchProveOutput 

pub struct BatchProveOutput<F> {
    pub eval_point: Vec<F>,
    pub evals: Vec<F>,
}

Output of batch_prove.

After the full n_layers reduction, evals holds each input prover’s reduced evaluation at eval_point. The batched claim the verifier checks is the eq(selector)-weighted combination of these evaluations.

Fields

eval_point: Vec<F>

The reduced evaluation point (selector ++ content ++ node) shared by all input provers.

evals: Vec<F>

Each input prover’s reduced evaluation at eval_point, in input order.