Struct NttMatrix 

pub struct NttMatrix<F: Field, K: ArraySize, L: ArraySize>(pub Array<NttVector<F, L>, K>);

A K x L matrix of NTT-domain polynomials.

Each vector represents a row of the matrix, so that multiplying on the right just requires iteration.

Multiplication on the right by vectors is the only defined operation, and is only defined when multiplication of NTT polynomials is defined.

Tuple Fields

0: Array<NttVector<F, L>, K>

Implementations

impl<F: Field, K: ArraySize, L: ArraySize> NttMatrix<F, K, L>

pub const fn new(x: Array<NttVector<F, L>, K>) -> Self

Create a new NTT matrix.

Trait Implementations

impl<F: Clone + Field, K: Clone + ArraySize, L: Clone + ArraySize> Clone for NttMatrix<F, K, L>

fn clone(&self) -> NttMatrix<F, K, L>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Field, K: ArraySize, L: ArraySize> CtEq for NttMatrix<F, K, L>

where F::Int: CtEq,

Available on crate feature ctutils only.

fn ct_eq(&self, other: &Self) -> Choice

Determine if self is equal to other in constant-time.

fn ct_ne(&self, other: &Rhs) -> Choice

Determine if self is NOT equal to other in constant-time.

impl<F: Field<Int: CtEq>, K: ArraySize, L: ArraySize> CtEqSlice for NttMatrix<F, K, L>

Available on crate feature ctutils only.

fn ct_eq_slice(a: &[Self], b: &[Self]) -> Choice

Determine if a is equal to b in constant-time.

fn ct_ne_slice(a: &[Self], b: &[Self]) -> Choice

Determine if a is NOT equal to b in constant-time.

impl<F: Debug + Field, K: Debug + ArraySize, L: Debug + ArraySize> Debug for NttMatrix<F, K, L>

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

Formats the value using the given formatter.

impl<F: Default + Field, K: Default + ArraySize, L: Default + ArraySize> Default for NttMatrix<F, K, L>

fn default() -> NttMatrix<F, K, L>

Returns the “default value” for a type.

impl<F: Field, K: ArraySize, L: ArraySize> Mul<&NttVector<F, L>> for &NttMatrix<F, K, L>

where for<'a> &'a NttPolynomial<F>: Mul<&'a NttPolynomial<F>, Output = NttPolynomial<F>>,

type Output = NttVector<F, K>

The resulting type after applying the * operator.

fn mul(self, rhs: &NttVector<F, L>) -> NttVector<F, K>

Performs the * operation.

impl<F: PartialEq + Field, K: PartialEq + ArraySize, L: PartialEq + ArraySize> PartialEq for NttMatrix<F, K, L>

fn eq(&self, other: &NttMatrix<F, K, L>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl<F: Field, K: ArraySize, L: ArraySize> StructuralPartialEq for NttMatrix<F, K, L>