Trait SumCheckPolyFirstRoundBackend 

pub trait SumCheckPolyFirstRoundBackend<P, K>: Backend
where
    K: Field,
    P: SumcheckPolyBase + HasBackend<Backend = Self>,
{
    type NextRoundPoly: SumcheckPoly<K>;

    // Required methods
    fn fix_t_variables(poly: P, alpha: K, t: usize) -> Self::NextRoundPoly;
    fn sum_as_poly_in_last_t_variables(
        poly: &P,
        claim: Option<K>,
        t: usize,
    ) -> UnivariatePolynomial<K>;
}

A trait to enable backend implementations of sumcheck polynomials for the first round.

An implementation of this trait for a type will imply a crate::SumcheckPolyFirstRound implementation for that type.

Required Associated Types

type NextRoundPoly: SumcheckPoly<K>

Required Methods

fn fix_t_variables(poly: P, alpha: K, t: usize) -> Self::NextRoundPoly

fn sum_as_poly_in_last_t_variables( poly: &P, claim: Option<K>, t: usize, ) -> UnivariatePolynomial<K>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<F, EF> SumCheckPolyFirstRoundBackend<Mle<F>, EF> for CpuBackend

where F: Field, EF: ExtensionField<F>,

type NextRoundPoly = Mle<EF>

fn fix_t_variables( poly: Mle<F, CpuBackend>, alpha: EF, t: usize, ) -> Self::NextRoundPoly

fn sum_as_poly_in_last_t_variables( poly: &Mle<F, CpuBackend>, claim: Option<EF>, t: usize, ) -> UnivariatePolynomial<EF>

Implementors