Struct ArithmeticDomain

pub struct ArithmeticDomain {
    pub offset: BFieldElement,
    pub generator: BFieldElement,
    pub length: usize,
}

Fields

offset: BFieldElement

generator: BFieldElement

length: usize

Implementations

impl ArithmeticDomain

pub fn of_length(length: usize) -> Result<Self, ArithmeticDomainError>

Create a new domain with the given length. No offset is applied, but can be added through with_offset().

Errors

Errors if the domain length is not a power of 2.

pub fn with_offset(self, offset: BFieldElement) -> Self

Set the offset of the domain.

pub fn generator_for_length( domain_length: u64, ) -> Result<BFieldElement, ArithmeticDomainError>

Derive a generator for a domain of the given length.

Errors

Errors if the domain length is not a power of 2.

pub fn evaluate<FF>(&self, polynomial: &Polynomial<'_, FF>) -> Vec<FF>

where FF: FiniteField + MulAssign<BFieldElement> + Mul<BFieldElement, Output = FF> + From<BFieldElement> + 'static,

pub fn interpolate<FF>(&self, values: &[FF]) -> Polynomial<'static, FF>

where FF: FiniteField + MulAssign<BFieldElement> + Mul<BFieldElement, Output = FF>,

Panics

Panics if the length of the argument does not match the length of self.

pub fn low_degree_extension<FF>( &self, codeword: &[FF], target_domain: Self, ) -> Vec<FF>

where FF: FiniteField + MulAssign<BFieldElement> + Mul<BFieldElement, Output = FF> + From<BFieldElement> + 'static,

pub fn domain_value(&self, n: u32) -> BFieldElement

Compute the nth element of the domain.

pub fn domain_values(&self) -> Vec<BFieldElement>

pub fn zerofier(&self) -> Polynomial<'_, BFieldElement>

A polynomial that evaluates to 0 on (and only on) a domain value.

pub fn mul_zerofier_with<FF>( &self, polynomial: Polynomial<'_, FF>, ) -> Polynomial<'static, FF>

where FF: FiniteField + Mul<BFieldElement, Output = FF>,

Self::zerofier times the argument. More performant than polynomial multiplication. See Self::zerofier for details.

Trait Implementations

impl Clone for ArithmeticDomain

fn clone(&self) -> ArithmeticDomain

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ArithmeticDomain

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

Formats the value using the given formatter.

impl PartialEq for ArithmeticDomain

fn eq(&self, other: &ArithmeticDomain) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ArithmeticDomain

impl Eq for ArithmeticDomain

impl StructuralPartialEq for ArithmeticDomain