std.crypto.pqc.mldsa

ML-DSA (CRYSTALS-Dilithium, NIST FIPS 204) ist ein Post-Quantum-Signaturverfahren. Es ersetzt RSA-Sign und ECDSA. Die Sicherheit basiert auf dem Module Short Integer Solution (MSIS)- und MLWE-Problem.

Klassifikation: Asymmetrisches Signaturverfahren — Schlüsselpaar aus Public Key (zum Verifizieren) und Secret Key (zum Signieren).

import std.crypto.pqc.mldsa;

→ std.crypto.pqc · std.crypto.pqc.pqc (High-Level API) · std.crypto

Empfehlung: ML-DSA-65 ist der NIST-Standard für die meisten Anwendungen (entspricht ECDSA-P256 heute).

SK-Layout: ρ(32) || K(32) || tr(32) || s₁ || s₂ || t₀ · PK-Layout: ρ(32) || t₁

Signatur-Variabilität: Die tatsächliche Signaturlänge ist durch die Rejection-Sampling-Loop variabel, aber immer ≤ MLDSAxx_SIG. Der Puffer muss immer die maximale Größe haben.

Deterministische Signatur: MLDSASign verwendet die deterministische Variante (rnd = 0^256 intern). Kein Nonce-Wiederverwendungs-Risiko.

import std.crypto.pqc.mldsa;
import std.crypto.rand;
import std.alloc;

fn main(): int64 {
  // Schlüsselpaar erzeugen (ML-DSA-65)
  var seed: int64 := alloc(32);
  RandBytesExact(seed, 32);
  var pk: int64 := alloc(MLDSA65_PK);
  var sk: int64 := alloc(MLDSA65_SK);
  MLDSAKeyGen(seed, 65, pk, sk);

  // Signieren
  var msg: pchar := "Hello, ML-DSA!"c;
  var m_len: int64 := 14;
  var sig: int64 := alloc(MLDSA65_SIG);
  var sig_len: int64 := MLDSASign(sk, 65, msg as int64, m_len, sig);

  // Verifizieren
  var ok: int64 := MLDSAVerify(pk, 65, msg as int64, m_len, sig, sig_len);
  // ok == 1 wenn gültig

  free(seed, 32);
  free(pk, MLDSA65_PK); free(sk, MLDSA65_SK);
  free(sig, MLDSA65_SIG);
  return 0;
}

Hinweis: Für den einfachsten Einstieg → std.crypto.pqc.pqc verwenden (High-Level API).

Letzte Aktualisierung: 2026-08-09

Codebeispiele geprüft: gegen lyxc 1.2.5C übersetzt (Prüflauf 2026-09-08 über die gesamte Doku: 574 Vollprogramme, 0 echte Fehler; zusätzlich 5159 Aufrufe gegen die pub fn-Signaturen in aurum/std gehalten, 0 Abweichungen).