Trait NttInverse 

pub(crate) trait NttInverse {
    type Output;

    // Required method
    fn ntt_inverse(&self) -> Self::Output;
}

The inverse NTT is the reverse of the Number Theoretic Transform, converting coefficient-wise products back into standard polynomial form while preserving correctness modulo the same prime.

Required Associated Types

type Output

Required Methods

fn ntt_inverse(&self) -> Self::Output

Implementations on Foreign Types

impl NttInverse for NttPolynomial<BaseField>

Algorithm 10: NTT^{-1}

type Output = Polynomial<BaseField>

fn ntt_inverse(&self) -> Polynomial<BaseField>

impl<K: ArraySize> NttInverse for NttVector<BaseField, K>

type Output = Vector<BaseField, K>

fn ntt_inverse(&self) -> Vector<BaseField, K>

Implementors