Trait SumcheckPolyFirstRound 

pub trait SumcheckPolyFirstRound<K: Field>: SumcheckPolyBase {
    type NextRoundPoly: SumcheckPoly<K>;

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

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

Required Associated Types

type NextRoundPoly: SumcheckPoly<K>

Required Methods

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

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

Implementors

impl<K, P> SumcheckPolyFirstRound<K> for P

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

type NextRoundPoly = <<P as HasBackend>::Backend as SumCheckPolyFirstRoundBackend<P, K>>::NextRoundPoly