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.