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 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<DomainField: BinaryField + Into<F>>( log_domain_size: usize, ) -> Result<Self, Error>

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 with_twiddle_access(twiddle_access: Vec<TA>) -> Self

pub fn log_domain_size(&self) -> usize

Base-2 logarithm of the size of the NTT domain.

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

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

Preconditions

• i must be less than self.log_domain_size()
• j must be less than self.log_domain_size() - i

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

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

Trait Implementations

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

where F: BinaryField, TA: TwiddleAccess<F>, P: PackedField<Scalar = F>,

fn log_domain_size(&self) -> usize

Base-2 logarithm of the size of the NTT domain.

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

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

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

Forward transformation defined in LCH14 on a batch of inputs.

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

Inverse transformation defined in LCH14 on a batch of inputs.

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

where PE: RepackedExtension<P>, PE::Scalar: ExtensionField<P::Scalar>,

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

where PE: RepackedExtension<P>, PE::Scalar: ExtensionField<P::Scalar>,

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.