Trait HornerCompositions

pub trait HornerCompositions<P: PackedField> {
    // Required methods
    fn evaluate(
        &self,
        challenge: P::Scalar,
        query: &[P],
    ) -> Result<Option<P>, Error>;
    fn evaluate_with_inner_evals(
        &self,
        challenge: P::Scalar,
        inner_evals: &[P::Scalar],
    ) -> Result<P::Scalar, Error>;
}

Required Methods

fn evaluate( &self, challenge: P::Scalar, query: &[P], ) -> Result<Option<P>, Error>

fn evaluate_with_inner_evals( &self, challenge: P::Scalar, inner_evals: &[P::Scalar], ) -> Result<P::Scalar, Error>

Implementations on Foreign Types

impl<P: PackedField> HornerCompositions<P> for ()

fn evaluate( &self, _challenge: P::Scalar, _query: &[P], ) -> Result<Option<P>, Error>

fn evaluate_with_inner_evals( &self, _challenge: P::Scalar, inner_evals: &[P::Scalar], ) -> Result<P::Scalar, Error>

impl<P: PackedField, C, IC> HornerCompositions<P> for (Vec<C>, IC)

where C: CompositionPolyOS<P>, IC: HornerCompositions<P>,

fn evaluate( &self, challenge: P::Scalar, query: &[P], ) -> Result<Option<P>, Error>

fn evaluate_with_inner_evals( &self, challenge: P::Scalar, inner_evals: &[P::Scalar], ) -> Result<P::Scalar, Error>

Implementors