Struct GkrSumcheckFirstRoundEvaluator

pub struct GkrSumcheckFirstRoundEvaluator<'a, PW, DomainField, C, M>
where
    PW: PackedField<Scalar: ExtensionField<DomainField>>,
    DomainField: Field,
    C: CompositionPoly<PW>,
    M: MultilinearPoly<PW> + Send + Sync,
{
    pub composition: &'a C,
    pub domain_points: &'a [DomainField],
    pub interpolation_domain: &'a InterpolationDomain<DomainField>,
    pub degree: usize,
    pub eq_ind: &'a MultilinearExtensionBorrowed<'a, PW>,
    pub poly_mle: &'a M,
    pub gkr_challenge: PW::Scalar,
}

Fields

composition: &'a C

domain_points: &'a [DomainField]

interpolation_domain: &'a InterpolationDomain<DomainField>

degree: usize

eq_ind: &'a MultilinearExtensionBorrowed<'a, PW>

poly_mle: &'a M

gkr_challenge: PW::Scalar

Trait Implementations

impl<'a, PW, DomainField, C, M> AbstractSumcheckEvaluator<PW> for GkrSumcheckFirstRoundEvaluator<'a, PW, DomainField, C, M>

where DomainField: Field, PW: PackedExtension<DomainField, Scalar: ExtensionField<DomainField>>, C: CompositionPoly<PW>, M: MultilinearPoly<PW> + Send + Sync,

type VertexState = ()

fn n_round_evals(&self) -> usize

The number of points to evaluate at.

fn process_vertex( &self, i: usize, _vertex_state: Self::VertexState, evals_0: &[PW], evals_1: &[PW], evals_z: &mut [PW], round_evals: &mut [PW], )

Process and update the round evaluations with the evaluations at a hypercube vertex.

fn round_evals_to_coeffs( &self, current_round_sum: PW::Scalar, round_evals: Vec<PW::Scalar>, ) -> Result<Vec<PW::Scalar>, PolynomialError>

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