Trait sp1_recursion_circuit_v2::domain::PolynomialSpaceVariable

pub trait PolynomialSpaceVariable<C: Config>: Sized + PolynomialSpace<Val = C::F> {
    // Required methods
    fn selectors_at_point_variable(
        &self,
        builder: &mut Builder<C>,
        point: Ext<C::F, C::EF>,
    ) -> LagrangeSelectors<Ext<C::F, C::EF>>;
    fn zp_at_point_variable(
        &self,
        builder: &mut Builder<C>,
        point: Ext<C::F, C::EF>,
    ) -> Ext<C::F, C::EF>;
    fn next_point_variable(
        &self,
        builder: &mut Builder<C>,
        point: Ext<<C as Config>::F, <C as Config>::EF>,
    ) -> Ext<<C as Config>::F, <C as Config>::EF>;
    fn zp_at_point_f(
        &self,
        builder: &mut Builder<C>,
        point: Felt<<C as Config>::F>,
    ) -> Felt<<C as Config>::F>;
}

Reference: p3_commit::PolynomialSpace

Required Methods

fn selectors_at_point_variable( &self, builder: &mut Builder<C>, point: Ext<C::F, C::EF>, ) -> LagrangeSelectors<Ext<C::F, C::EF>>

fn zp_at_point_variable( &self, builder: &mut Builder<C>, point: Ext<C::F, C::EF>, ) -> Ext<C::F, C::EF>

fn next_point_variable( &self, builder: &mut Builder<C>, point: Ext<<C as Config>::F, <C as Config>::EF>, ) -> Ext<<C as Config>::F, <C as Config>::EF>

fn zp_at_point_f( &self, builder: &mut Builder<C>, point: Felt<<C as Config>::F>, ) -> Felt<<C as Config>::F>

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<C: Config> PolynomialSpaceVariable<C> for TwoAdicMultiplicativeCoset<C::F>

where C::F: TwoAdicField,

fn next_point_variable( &self, builder: &mut Builder<C>, point: Ext<<C as Config>::F, <C as Config>::EF>, ) -> Ext<<C as Config>::F, <C as Config>::EF>

fn selectors_at_point_variable( &self, builder: &mut Builder<C>, point: Ext<<C as Config>::F, <C as Config>::EF>, ) -> LagrangeSelectors<Ext<<C as Config>::F, <C as Config>::EF>>

fn zp_at_point_variable( &self, builder: &mut Builder<C>, point: Ext<<C as Config>::F, <C as Config>::EF>, ) -> Ext<<C as Config>::F, <C as Config>::EF>

fn zp_at_point_f( &self, builder: &mut Builder<C>, point: Felt<<C as Config>::F>, ) -> Felt<<C as Config>::F>

Implementors