Type Alias binius_core::protocols::sumcheck::SumcheckRound

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.