Struct RingSwitchEqInd

pub struct RingSwitchEqInd<FS, F>
where
    FS: Field,
    F: ExtensionField<FS>,
{ /* private fields */ }

This struct provides functionality for the multilinear function $A$ from DP24 Section 5.

The function $A$ is $\ell’:= \ell - \kappa$-variate and depends on the last $\ell’$ coordinates of the evaluation point as well as the $\kappa$ mixing challenges. The struct takes as generics both a small and a big field.

Implementations

impl<FS, F> RingSwitchEqInd<FS, F>

where FS: Field, F: ExtensionField<FS> + PackedField<Scalar = F> + PackedExtension<FS>,

pub fn new(r_evals: Vec<F>, r_mixing_challenges: Vec<F>) -> Result<Self, Error>

pub fn multilinear_extension<P, Backend>( &self, backend: &Backend, ) -> Result<MultilinearExtension<P, Backend::Vec<P>>, Error>

where P: PackedFieldIndexable<Scalar = F>, Backend: ComputationBackend,

Trait Implementations

impl<FS, F> Debug for RingSwitchEqInd<FS, F>

where FS: Field + Debug, F: ExtensionField<FS> + Debug,

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

Formats the value using the given formatter.

impl<FS, F> MultivariatePoly<F> for RingSwitchEqInd<FS, F>

where FS: TowerField, F: ExtensionField<FS> + PackedField<Scalar = F> + PackedExtension<FS> + TowerField,

fn n_vars(&self) -> usize

The number of variables.

fn degree(&self) -> usize

Total degree of the polynomial.

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

Evaluate the polynomial at a point in the extension field.

fn binary_tower_level(&self) -> usize

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