binius_core::protocols::gkr_sumcheck

Type Alias GkrSumcheckBatchProveOutput

source 
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>