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.