Struct MlDsa44 

pub struct MlDsa44;

MlDsa44 is the parameter set for security category 2.

Trait Implementations

impl AssociatedAlgorithmIdentifier for MlDsa44

const ALGORITHM_IDENTIFIER: AlgorithmIdentifierRef<'static>

AlgorithmIdentifier for this structure.

type Params = AnyRef<'static>

Algorithm parameters.

impl Clone for MlDsa44

fn clone(&self) -> MlDsa44

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MlDsa44

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

Formats the value using the given formatter.

impl Default for MlDsa44

fn default() -> MlDsa44

Returns the “default value” for a type.

impl ParameterSet for MlDsa44

const TAU: usize = 39usize

Number of nonzero values in the polynomial c

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

Number of rows in the A matrix

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

Number of columns in the A matrix

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

Private key range

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

Error size bound for y

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

Low-order rounding range

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

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

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

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

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

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

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

Max number of true values in the hint

const BETA: u32 = _

Beta = Tau * Eta

impl PartialEq for MlDsa44

fn eq(&self, other: &MlDsa44) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for MlDsa44