Struct MlDsa87 

pub struct MlDsa87;

MlKem87 is the parameter set for security category 5.

Trait Implementations

impl AssociatedAlgorithmIdentifier for MlDsa87

const ALGORITHM_IDENTIFIER: AlgorithmIdentifierRef<'static>

AlgorithmIdentifier for this structure.

type Params = AnyRef<'static>

Algorithm parameters.

impl Clone for MlDsa87

fn clone(&self) -> MlDsa87

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MlDsa87

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

Formats the value using the given formatter.

impl Default for MlDsa87

fn default() -> MlDsa87

Returns the “default value” for a type.

impl ParameterSet for MlDsa87

const TAU: usize = 60usize

Number of nonzero values in the polynomial c

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

Number of rows in the A matrix

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

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>, B1>, 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<UTerm, B1>, B0>, B0>, B0>, B0>, B0>>>::Output

Low-order rounding range

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

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

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

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

type Lambda = UInt<UInt<UInt<UInt<UInt<UInt<UInt<UTerm, B1>, B0>, 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>, B0>, B1>, B0>, B1>, B1>

Max number of true values in the hint

const BETA: u32 = _

Beta = Tau * Eta

impl PartialEq for MlDsa87

fn eq(&self, other: &MlDsa87) -> 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 MlDsa87