binius_core::protocols::sumcheck::prove::prover_state

Trait SumcheckInterpolator

source 
pub trait SumcheckInterpolator<F: Field> {
    // Required method
    fn round_evals_to_coeffs(
        &self,
        last_sum: F,
        round_evals: Vec<F>,
    ) -> Result<Vec<F>, PolynomialError>;
}

Required Methods§

source

fn round_evals_to_coeffs( &self, last_sum: F, round_evals: Vec<F>, ) -> Result<Vec<F>, PolynomialError>

Given evaluations of the round polynomial, interpolate and return monomial coefficients

§Arguments
  • round_evals: the computed evaluations of the round polynomial

Implementors§