Type Alias binius_core::protocols::gkr_sumcheck::GkrSumcheckBatchProof

pub type GkrSumcheckBatchProof<F> = AbstractSumcheckBatchProof<F>;

Aliased Type

struct GkrSumcheckBatchProof<F> {
    pub rounds: Vec<AbstractSumcheckRound<F>>,
    pub sorted_evals: Vec<F>,
}

Fields

rounds: Vec<AbstractSumcheckRound<F>>

sorted_evals: Vec<F>

Evaluations of each multivariate in the batch at the challenge point. NB: These evaluations may not be in the same order as the original claims as internally the batch proving protocol will stable sort the claims.