Trait ParameterSet 

pub trait ParameterSet {
    type K: ArraySize;
    type L: ArraySize;
    type Eta: SamplingSize;
    type Gamma1: MaskSamplingSize;
    type Gamma2: Unsigned;
    type TwoGamma2: Unsigned;
    type W1Bits: EncodingSize;
    type Lambda: ArraySize;
    type Omega: ArraySize;

    const TAU: usize;
    const BETA: u32 = _;
}

A ParameterSet captures the parameters that describe a particular instance of ML-DSA. There are three variants, corresponding to three different security levels.

Required Associated Constants

const TAU: usize

Number of nonzero values in the polynomial c

Provided Associated Constants

const BETA: u32 = _

Beta = Tau * Eta

Required Associated Types

type K: ArraySize

Number of rows in the A matrix

type L: ArraySize

Number of columns in the A matrix

type Eta: SamplingSize

Private key range

type Gamma1: MaskSamplingSize

Error size bound for y

type Gamma2: Unsigned

Low-order rounding range

type TwoGamma2: Unsigned

Low-order rounding range (2 * gamma2 in terms of the spec)

type W1Bits: EncodingSize

Encoding width of the W1 polynomial, namely bitlen((q - 1) / (2 * gamma2) - 1)

type Lambda: ArraySize

Collision strength of c_tilde, in bytes (lambda / 4 in the spec)

type Omega: ArraySize

Max number of true values in the hint

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

const TAU: usize = 39usize

type K = UInt<UInt<UInt<UTerm, B1>, B0>, B0>

type L = UInt<UInt<UInt<UTerm, B1>, B0>, B0>

type Eta = UInt<UInt<UTerm, B1>, B0>

type Gamma1 = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B1>>>::Output

type Gamma2 = <<<<<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>>>::Output as Sub<<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>>>::Output>>::Output as Add<UInt<UTerm, B1>>>::Output as Sub<UInt<UTerm, B1>>>::Output as Div<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0>>>::Output

type TwoGamma2 = <UInt<UInt<UTerm, B1>, B0> as Mul<<MlDsa44 as ParameterSet>::Gamma2>>::Output

type W1Bits = <<<UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B0>, B0>, B0> as Div<UInt<UInt<UTerm, B1>, B0>>>::Output as Sub<UInt<UTerm, B1>>>::Output as Len>::Output

type Lambda = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>

type Omega = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B0>, B0>, B0>, B0>

impl ParameterSet for MlDsa65

const TAU: usize = 49usize

type K = UInt<UInt<UInt<UTerm, B1>, B1>, B0>

type L = UInt<UInt<UInt<UTerm, B1>, B0>, B1>

type Eta = UInt<UInt<UInt<UTerm, B1>, B0>, B0>

type Gamma1 = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>>>::Output

type Gamma2 = <<<<<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>>>::Output as Sub<<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>>>::Output>>::Output as Add<UInt<UTerm, B1>>>::Output as Sub<UInt<UTerm, B1>>>::Output as Div<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>>>::Output

type TwoGamma2 = <UInt<UInt<UTerm, B1>, B0> as Mul<<MlDsa65 as ParameterSet>::Gamma2>>::Output

type W1Bits = <<<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0> as Div<UInt<UInt<UTerm, B1>, B0>>>::Output as Sub<UInt<UTerm, B1>>>::Output as Len>::Output

type Lambda = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B0>, B0>, B0>

type Omega = UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>, B1>, B1>

impl ParameterSet for MlDsa87

const TAU: usize = 60usize

type K = UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>

type L = UInt<UInt<UInt<UTerm, B1>, B1>, B1>

type Eta = UInt<UInt<UTerm, B1>, B0>

type Gamma1 = <UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B1>>>::Output

type Gamma2 = <<<<<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B1>, B1>, B1>>>::Output as Sub<<UInt<UTerm, B1> as Shl<UInt<UInt<UInt<UInt<UTerm, B1>, B1>, B0>, B1>>>::Output>>::Output as Add<UInt<UTerm, B1>>>::Output as Sub<UInt<UTerm, B1>>>::Output as Div<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>>>::Output

type TwoGamma2 = <UInt<UInt<UTerm, B1>, B0> as Mul<<MlDsa87 as ParameterSet>::Gamma2>>::Output

type W1Bits = <<<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0> as Div<UInt<UInt<UTerm, B1>, B0>>>::Output as Sub<UInt<UTerm, B1>>>::Output as Len>::Output

type Lambda = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B0>, B0>, B0>, B0>

type Omega = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, B0>, B1>, B0>, B1>, B1>