Skip to main content

NttPoly

Struct NttPoly 

Source
pub struct NttPoly { /* private fields */ }
Expand description

Polynomial in the NTT domain (Montgomery-lane representation).

Implementations§

Source§

impl NttPoly

Source

pub fn zero() -> Self

Zero polynomial in NTT form.

Source

pub fn packed_ntt_coefficients(&self) -> [FieldElement; 256]

Coefficients in SIMD lane order (Montgomery NTT domain) without inverse transform.

Source

pub fn as_simd(&self) -> &[Coefficients; 32]

Borrow the internal SIMD lanes (read-only).

Source

pub fn as_simd_mut(&mut self) -> &mut [Coefficients; 32]

Mutable SIMD lanes (expert use).

Source

pub fn pointwise_mul_assign(&mut self, rhs: &Self)

Pointwise Montgomery multiply self *= rhs in the NTT domain.

Source

pub fn to_poly(self) -> Poly

Inverse NTT into coefficient domain with canonical reduction.

Source

pub fn add_assign(&mut self, rhs: &Self)

Add two NTT polynomials lane-wise (no modular reduction between adds; use before INTT as in ML-DSA accumulators).

Source

pub fn sub_assign(&mut self, rhs: &Self)

Subtract lane-wise.

Trait Implementations§

Source§

impl Clone for NttPoly

Source§

fn clone(&self) -> NttPoly

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for NttPoly

Source§

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

Formats the value using the given formatter. Read more
Source§

impl Hash for NttPoly

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl PartialEq for NttPoly

Source§

fn eq(&self, other: &NttPoly) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 (const: unstable) · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Eq for NttPoly

Source§

impl StructuralPartialEq for NttPoly

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.