Struct DilithiumParamsMont

pub struct DilithiumParamsMont;

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

Trait Implementations

impl Clone for DilithiumParamsMont

fn clone(&self) -> DilithiumParamsMont

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DilithiumParamsMont

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

Formats the value using the given formatter.

impl Modulus for DilithiumParamsMont

const Q: u32 = 8_380_417u32

The primary modulus Q for coefficient arithmetic

const N: usize = 256usize

The polynomial degree N (number of coefficients)

const BARRETT_MU: u128 = 4_299_165_187u128

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

const BARRETT_K: u32 = 55u32

Barrett reduction shift amount k Set to 0 for dynamic computation

impl NttModulus for DilithiumParamsMont

const ZETA: u32 = 1_753u32

Primitive root of unity (generator)

const ZETAS: &'static [u32]

Precomputed twiddle factors for forward NTT CRITICAL: For Dilithium, 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_382u32

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_792u32

Montgomery parameter R = 2^32 mod Q

const NEG_QINV: u32 = 4_236_238_847u32

-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 (Dilithium) 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 (Dilithium) 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.