Trait SumcheckPoly 

pub trait SumcheckPoly<K: Field>:
    SumcheckPolyBase
    + ComponentPoly<K>
    + Sized {
    // Required methods
    fn fix_last_variable(self, alpha: K) -> Self;
    fn sum_as_poly_in_last_variable(
        &self,
        claim: Option<K>,
    ) -> UnivariatePolynomial<K>;
}

The fix_first_variable function applied to a sumcheck’s post first rounds’ polynomial.

Required Methods

fn fix_last_variable(self, alpha: K) -> Self

fn sum_as_poly_in_last_variable( &self, claim: Option<K>, ) -> UnivariatePolynomial<K>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<K, P> SumcheckPoly<K> for P

where K: Field, P: SumcheckPolyBase + ComponentPoly<K> + HasBackend + Send + Sync, P::Backend: SumcheckPolyBackend<P, K>,