Trait Modulus

pub trait Modulus {
    const Q: u32;
    const N: usize;
    const BARRETT_MU: u128 = 0u128;
    const BARRETT_K: u32 = 0u32;
}

Basic trait defining the modulus and degree for a polynomial ring

Required Associated Constants

const Q: u32

The primary modulus Q for coefficient arithmetic

const N: usize

The polynomial degree N (number of coefficients)

Provided Associated Constants

const BARRETT_MU: u128 = 0u128

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

const BARRETT_K: u32 = 0u32

Barrett reduction shift amount k Set to 0 for dynamic computation

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Modulus for Dilithium2Params

const Q: u32 = 8_380_417u32

const N: usize = 256usize

const BARRETT_MU: u128 = 4_299_165_187u128

const BARRETT_K: u32 = 55u32

impl Modulus for DilithiumParams

const Q: u32 = 8_380_417u32

const N: usize = 256usize

const BARRETT_MU: u128 = 4_299_165_187u128

const BARRETT_K: u32 = 55u32

impl Modulus for DilithiumParamsMont

const Q: u32 = 8_380_417u32

const N: usize = 256usize

const BARRETT_MU: u128 = 4_299_165_187u128

const BARRETT_K: u32 = 55u32

impl Modulus for Kyber256Params

const Q: u32 = 3_329u32

const N: usize = 256usize

const BARRETT_MU: u128 = 10_569_051_393u128

const BARRETT_K: u32 = 45u32