Struct SingleThreadedNTT

pub struct SingleThreadedNTT<F: BinaryField, TA: TwiddleAccess<F> = OnTheFlyTwiddleAccess<F>> { /* private fields */ }

Implementation of AdditiveNTT that performs the computation single-threaded.

Implementations

impl<F: BinaryField, TA: TwiddleAccess<F> + Sync> SingleThreadedNTT<F, TA>

pub fn multithreaded(self) -> MultithreadedNTT<F, TA>

Returns multithreaded NTT implementation which uses default number of threads.

pub const fn multithreaded_with_max_threads( self, log_max_threads: usize, ) -> MultithreadedNTT<F, TA>

Returns multithreaded NTT implementation which uses 1 << log_max_threads threads.

impl<F: BinaryField> SingleThreadedNTT<F>

pub fn new(log_domain_size: usize) -> Result<Self, Error>

Default constructor constructs an NTT over the canonical subspace for the field using on-the-fly computed twiddle factors.

pub fn with_domain_field<FDomain>(log_domain_size: usize) -> Result<Self, Error>

where FDomain: BinaryField, F: From<FDomain>,

Constructs an NTT over an isomorphic subspace for the given domain field using on-the-fly computed twiddle factors.

pub fn precompute_twiddles( &self, ) -> SingleThreadedNTT<F, PrecomputedTwiddleAccess<F>>

impl<F: TowerField> SingleThreadedNTT<F>

pub fn with_canonical_field(log_domain_size: usize) -> Result<Self, Error>

A specialization of with_domain_field to the canonical tower field.

impl<F: BinaryField, TA: TwiddleAccess<F>> SingleThreadedNTT<F, TA>

pub fn twiddles(&self) -> &[TA]

Trait Implementations

impl<F, TA> AdditiveNTT<F> for SingleThreadedNTT<F, TA>

where F: BinaryField, TA: TwiddleAccess<F>,

fn log_domain_size(&self) -> usize

Base-2 logarithm of the maximum size of the NTT domain, $\ell$.

fn subspace(&self, i: usize) -> BinarySubspace<F>

Returns the binary subspace $S^(i)$.

fn get_subspace_eval(&self, i: usize, j: usize) -> F

Get the normalized subspace polynomial evaluation $\hat{W}_i(\beta_j)$.

fn forward_transform<P: PackedField<Scalar = F>>( &self, data: &mut [P], coset: u32, log_batch_size: usize, log_n: usize, ) -> Result<(), Error>

Forward transformation defined in LCH14 on a batch of inputs.

fn inverse_transform<P: PackedField<Scalar = F>>( &self, data: &mut [P], coset: u32, log_batch_size: usize, log_n: usize, ) -> Result<(), Error>

Inverse transformation defined in LCH14 on a batch of inputs.

fn forward_transform_ext<PE: PackedExtension<F>>( &self, data: &mut [PE], coset: u32, log_n: usize, ) -> Result<(), Error>

fn inverse_transform_ext<PE: PackedExtension<F>>( &self, data: &mut [PE], coset: u32, log_n: usize, ) -> Result<(), Error>

impl<F: Debug + BinaryField, TA: Debug + TwiddleAccess<F>> Debug for SingleThreadedNTT<F, TA>

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

Formats the value using the given formatter.