binius_core::protocols::sumcheck

Type Alias SumcheckRound

source
pub type SumcheckRound<F> = AbstractSumcheckRound<F>;

Aliased Type§

struct SumcheckRound<F> {
    pub coeffs: Vec<F>,
}

Fields§

§coeffs: Vec<F>

Monomial-Basis Coefficients of a round polynomial sent by the prover

For proof-size optimization, this vector is trimmed as much as possible such that the verifier can recover the missing coefficients. Which specific coefficients are missing depends on context.