Struct CachedPoly

pub struct CachedPoly<F: Field, Inner: CompositionPoly<F>> { /* private fields */ }

Cached composition poly wrapper.

It stores the efficient implementations of the composition poly for some known set of packed field types. We are usually able to use this when the inner poly is constructed with a macro for the known field and packed field types.

Implementations

impl<F: Field, Inner: CompositionPoly<F>> CachedPoly<F, Inner>

pub fn new(inner: Inner) -> Self

Create a new cached polynomial with the given inner polynomial.

pub fn register<P: PackedField<Scalar: ExtensionField<F>>>( &mut self, composition: impl CompositionPolyOS<P> + 'static, )

Register efficient implementations for the P packed field type in the cache.

Trait Implementations

impl<F: Field, Inner: CompositionPoly<F>> CompositionPoly<F> for CachedPoly<F, Inner>

fn n_vars(&self) -> usize

fn degree(&self) -> usize

fn binary_tower_level(&self) -> usize

fn evaluate<P: PackedField<Scalar: ExtensionField<F>>>( &self, query: &[P], ) -> Result<P, Error>

fn batch_evaluate<P: PackedField<Scalar: ExtensionField<F>>>( &self, batch_query: &[&[P]], evals: &mut [P], ) -> Result<(), Error>

impl<F: Field, Inner: CompositionPoly<F>, P: PackedField<Scalar: ExtensionField<F>>> CompositionPolyOS<P> for CachedPoly<F, Inner>

fn binary_tower_level(&self) -> usize

Returns the maximum binary tower level of all constants in the arithmetic expression.

fn n_vars(&self) -> usize

The number of variables.

fn degree(&self) -> usize

Total degree of the polynomial.

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

Evaluates the polynomial using packed values, where each packed value may contain multiple scalar values. The evaluation follows SIMD semantics, meaning that operations are performed element-wise across corresponding scalar values in the packed values.

fn batch_evaluate( &self, batch_query: &[&[P]], evals: &mut [P], ) -> Result<(), Error>

Batch evaluation that admits non-strided argument layout. batch_query is a slice of slice references of equal length, which furthermore should equal the length of evals parameter.

impl<F: Debug + Field, Inner: Debug + CompositionPoly<F>> Debug for CachedPoly<F, Inner>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: Default + Field, Inner: Default + CompositionPoly<F>> Default for CachedPoly<F, Inner>

fn default() -> CachedPoly<F, Inner>

Returns the “default value” for a type.