Struct NaiveAdditiveNtt 

pub struct NaiveAdditiveNtt<F> { /* private fields */ }

Reference additive NTT.

The forward transform evaluates Σ_i d_i · X_i(x) directly, with the normalised subspace polynomials taken from the product definition Ŵ_j(x) = ∏_{s ∈ S_j}(x − s) / ∏_{s ∈ S_j}(v_j − s). It therefore depends on none of D8’s identities and is a genuine oracle for the fast crate::LchNtt. The cost is O(n² log n); keep test sizes at or below 2^10.

Trait Implementations

impl<F: TowerLevel> AdditiveNtt<F> for NaiveAdditiveNtt<F>

fn shifted_ntt_batch( &self, mat: RowMajorMatrix<F>, shift: F, ) -> RowMajorMatrix<F>

Evaluates each column on the coset shift + S_ℓ.

fn shifted_intt_batch( &self, mat: RowMajorMatrix<F>, shift: F, ) -> RowMajorMatrix<F>

Inverse of shifted_ntt_batch.

fn ntt_batch(&self, mat: RowMajorMatrix<F>) -> RowMajorMatrix<F>

Evaluates each column on S_ℓ.

fn intt_batch(&self, mat: RowMajorMatrix<F>) -> RowMajorMatrix<F>

Inverse of ntt_batch.

fn lde_batch( &self, mat: RowMajorMatrix<F>, added_bits: usize, ) -> RowMajorMatrix<F>

Low-degree extension onto S_{ℓ + added_bits} ⊃ S_ℓ.

fn shifted_lde_batch( &self, mat: RowMajorMatrix<F>, added_bits: usize, shift: F, ) -> RowMajorMatrix<F>

lde_batch on the coset shift + S_{ℓ + added_bits}.

impl<F: Clone> Clone for NaiveAdditiveNtt<F>

fn clone(&self) -> NaiveAdditiveNtt<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for NaiveAdditiveNtt<F>

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

Formats the value using the given formatter.

impl<F: Default> Default for NaiveAdditiveNtt<F>

fn default() -> NaiveAdditiveNtt<F>

Returns the “default value” for a type.