std.crypto.pqc.slhdsa

SLH-DSA (SPHINCS+, NIST FIPS 205) ist ein hash-basiertes Post-Quantum-Signaturverfahren. Die Sicherheit beruht ausschließlich auf der Kollisionsresistenz von SHA-256 — keine gittertheoretischen Annahmen wie bei ML-DSA.

Klassifikation: Asymmetrisches, hash-basiertes Signaturverfahren. Zustandslos (stateless) — keine Signaturzähler nötig wie bei XMSS/LMS.

import std.crypto.pqc.slhdsa;

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

Vergleich mit ML-DSA: SLH-DSA erzeugt größere Signaturen (7856 B vs. 3293 B für ~128-Bit), hat aber kleinere Schlüssel (PK nur 32 B). Vorteil: rein hash-basierte Sicherheitsannahmen, breit konservativ.

ADRS-Typ-Codes (intern, für eigene ADRS-Konstruktionen): SLH_WOTS=0, SLH_WOTS_PK=1, SLH_TREE=2, SLH_FORS_TREE=3, SLH_FORS_ROOTS=4, SLH_WOTS_PRF=5, SLH_FORS_PRF=6

Parameter-Initialisierung (muss vor KeyGen/Sign/Verify aufgerufen werden):

Schlüssel und Signatur:

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

fn main(): int64 {
  // Parameter-Block initialisieren (SLH-DSA-128s)
  var ps: int64 := alloc(SLH_PS);
  SLHParams128s(ps);

  // Seeds: skseed[16], skprf[16], pkseed[16] (n=16 für 128s)
  var seeds: int64 := alloc(48);
  RandBytesExact(seeds, 48);

  // Schlüsselpaar erzeugen
  var sk: int64 := alloc(SLH_128S_SK);
  var pk: int64 := alloc(SLH_128S_PK);
  SLHDSAKeyGen(ps, seeds, seeds + 16, seeds + 32, sk, pk);

  // Signieren
  var msg: pchar := "Hello, SLH-DSA!"c;
  var m_len: int64 := 15;
  var sig: int64 := alloc(SLH_128S_SIG);
  var sig_len: int64 := SLHDSASign(ps, sk, msg as int64, m_len, 0, sig);

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

  free(ps, SLH_PS); free(seeds, 48);
  free(sk, SLH_128S_SK); free(pk, SLH_128S_PK);
  free(sig, SLH_128S_SIG);
  return 0;
}

Hinweis: Für den einfachsten Einstieg → std.crypto.pqc.pqc verwenden (kein manuelles Parameter-Block-Management).

Letzte Aktualisierung: 2026-08-15 — Laufzeiten mit lyxc 1.0.20A neu gemessen, je Parametersatz getrennt nach KeyGen und Gesamtlauf (#1319)

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).