Struct ArithCircuitPoly

pub struct ArithCircuitPoly<F: Field> { /* private fields */ }

Describes polynomial evaluations using a directed acyclic graph of expressions.

This is meant as an alternative to a hard-coded CompositionPolyOS.

The advantage over a hard coded CompositionPolyOS is that this can be constructed and manipulated dynamically at runtime and the object representing different polnomials can be stored in a homogeneous collection.

Implementations

impl<F: Field> ArithCircuitPoly<F>

pub fn new(expr: ArithExpr<F>) -> Self

pub fn with_n_vars(n_vars: usize, expr: ArithExpr<F>) -> Result<Self, Error>

Constructs an ArithCircuitPoly with the given number of variables.

The number of variables may be greater than the number of variables actually read in the arithmetic expression.

Trait Implementations

impl<F: Clone + Field> Clone for ArithCircuitPoly<F>

fn clone(&self) -> ArithCircuitPoly<F>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: TowerField> CompositionPoly<F> for ArithCircuitPoly<F>

fn degree(&self) -> usize

fn n_vars(&self) -> usize

fn binary_tower_level(&self) -> usize

fn expression<FE: ExtensionField<F>>(&self) -> ArithExpr<FE>

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: TowerField, P: PackedField<Scalar: ExtensionField<F>>> CompositionPolyOS<P> for ArithCircuitPoly<F>

fn degree(&self) -> usize

Total degree of the polynomial.

fn n_vars(&self) -> usize

The number of variables.

fn expression(&self) -> ArithExpr<P::Scalar>

Returns the arithmetic expression representing the polynomial.

fn binary_tower_level(&self) -> usize

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

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> Debug for ArithCircuitPoly<F>

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

Formats the value using the given formatter.