Trait Params 

pub trait Params {
    const K: usize;
    const L: usize;
    const ETA: usize;
    const TAU: usize;
    const BETA: i32;
    const GAMMA1: i32;
    const GAMMA2: i32;
    const OMEGA: usize;
    const LAMBDA: usize;
    const BITLEN_2ETA: usize;
    const BITLEN_GAMMA1_MINUS1: usize;
    const PK_LEN: usize = _;
    const SK_LEN: usize = _;
    const SIG_LEN: usize = _;
}

Parameter trait for ML-DSA security levels.

Each implementor (e.g., MlDsa44, MlDsa65, MlDsa87) provides the constants from FIPS 204, Table 1. Derived sizes for public key, secret key, and signature are computed automatically from the base constants.

Required Associated Constants

const K: usize

Number of rows in the matrix A (dimension k).

const L: usize

Number of columns in the matrix A (dimension l).

const ETA: usize

Secret key coefficient bound: coefficients of s1, s2 lie in [-eta, eta].

const TAU: usize

Number of +/-1 entries in the challenge polynomial c.

const BETA: i32

Signing bound beta = tau * eta. Candidate signatures with infinity norm >= gamma1 - beta are rejected.

const GAMMA1: i32

Masking range: coefficients of the masking vector y are sampled from [-(gamma1-1), gamma1].

const GAMMA2: i32

Decomposition parameter: controls the rounding used in HighBits/LowBits.

const OMEGA: usize

Maximum number of non-zero hint entries allowed across all k hint polynomials.

const LAMBDA: usize

Collision strength in bits; determines the length of the commitment hash c_tilde (lambda/4 bytes).

const BITLEN_2ETA: usize

Helper constant: bit-length of 2*eta, used for encoding secret polynomials.

const BITLEN_GAMMA1_MINUS1: usize

Helper constant: bit-length of gamma1 - 1, used for encoding z in signatures.

Provided Associated Constants

const PK_LEN: usize = _

Public key length in bytes: 32 (rho) + k * 320 (encoded t1).

const SK_LEN: usize = _

Secret key length in bytes.

const SIG_LEN: usize = _

Signature length in bytes.

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 Params for MlDsa44

const K: usize = 4

const L: usize = 4

const ETA: usize = 2

const TAU: usize = 39

const BETA: i32 = 78

const GAMMA1: i32

const GAMMA2: i32

const OMEGA: usize = 80

const LAMBDA: usize = 128

const BITLEN_2ETA: usize = 3

const BITLEN_GAMMA1_MINUS1: usize = 17

impl Params for MlDsa65

const K: usize = 6

const L: usize = 5

const ETA: usize = 4

const TAU: usize = 49

const BETA: i32 = 196

const GAMMA1: i32

const GAMMA2: i32

const OMEGA: usize = 55

const LAMBDA: usize = 192

const BITLEN_2ETA: usize = 4

const BITLEN_GAMMA1_MINUS1: usize = 19

impl Params for MlDsa87

const K: usize = 8

const L: usize = 7

const ETA: usize = 2

const TAU: usize = 60

const BETA: i32 = 120

const GAMMA1: i32

const GAMMA2: i32

const OMEGA: usize = 75

const LAMBDA: usize = 256

const BITLEN_2ETA: usize = 3

const BITLEN_GAMMA1_MINUS1: usize = 19