Type Alias binius_core::protocols::gkr_sumcheck::GkrSumcheckBatchProveOutput

pub type GkrSumcheckBatchProveOutput<F> = AbstractSumcheckBatchProveOutput<F>;

Aliased Type

struct GkrSumcheckBatchProveOutput<F> {
    pub reduced_claims: Vec<ReducedClaim<F>>,
    pub proof: AbstractSumcheckBatchProof<F>,
}

Fields

reduced_claims: Vec<ReducedClaim<F>>

proof: AbstractSumcheckBatchProof<F>