Struct triton_vm::arithmetic_domain::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>,

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

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

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>,

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

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

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

This method tests for self and other values to be equal, and is used by ==.

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

This method 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