Struct MlDsaParamsMont 

pub struct MlDsaParamsMont;

Optional: ML-DSA parameters with Montgomery output Use this when you need coefficients to stay in Montgomery domain after inverse NTT

Trait Implementations

impl Clone for MlDsaParamsMont

fn clone(&self) -> MlDsaParamsMont

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MlDsaParamsMont

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

Formats the value using the given formatter.

impl Modulus for MlDsaParamsMont

const Q: u32 = 8380417

The primary modulus Q for coefficient arithmetic

const N: usize = 256

The polynomial degree N (number of coefficients)

const BARRETT_MU: u128 = 4_299_165_187

Barrett reduction constant mu = floor(2^k / Q) Set to 0 for dynamic computation

const BARRETT_K: u32 = 55

Barrett reduction shift amount k Set to 0 for dynamic computation

impl NttModulus for MlDsaParamsMont

const ZETA: u32 = 1753

Primitive root of unity (generator)

const ZETAS: &'static [u32]

Precomputed twiddle factors for forward NTT CRITICAL: For ML-DSA, these are stored in MONTGOMERY domain (ζ·R mod q) exactly as in the FIPS-204 reference implementation. Do NOT convert them again - that would give ζ·R² mod q!

const N_INV: u32 = 16_382

N^-1 mod Q for final scaling in inverse NTT This should be in Montgomery form: (N^-1 * R) mod Q

const MONT_R: u32 = 4_193_792

Montgomery parameter R = 2^32 mod Q

const NEG_QINV: u32 = 4_236_238_847

-Q^-1 mod 2^32 for Montgomery reduction (sometimes called NEG_QINV or MONT_QINV)

const PSIS: &'static [u32]

Twist factors ψ_i = ω^(bitrev(i)) in STANDARD domain (length N) These are the N-th roots of the primitive 2N-th root of unity Required for twisted/negacyclic NTT (ML-DSA) NOTE: FIPS-204 reference implementation does NOT use these!

const INV_PSIS: &'static [u32]

Inverse twist factors ψ_i^(-1) in STANDARD domain (length N) Required for inverse twisted/negacyclic NTT (ML-DSA) NOTE: FIPS-204 reference implementation does NOT use these!

const POST_INVNTT_MODE: PostInvNtt = PostInvNtt::Montgomery

How the coefficients should be post-processed after the inverse NTT.