std.crypto.pqc.pqc

std.crypto.pqc.pqc ist die einheitliche High-Level-API für alle Post-Quantum-Kryptografie in Lyx. Sie abstrahiert über ML-KEM (FIPS 203), ML-DSA (FIPS 204), SLH-DSA (FIPS 205) und Hybrid-KEM — alle Algorithmen werden über denselben Handle-basierten Workflow bedient.

Empfehlung: Für neue Anwendungen immer diese Unit verwenden statt die Low-Level-Units direkt.

import std.crypto.pqc.pqc;

→ std.crypto.pqc · std.crypto

Weitere Größenkonstanten: PQC_SS_LEN = 32 (Shared-Secret-Länge), PQC_KP_SIZE = 40 (Handle-Größe).

Schlüsselerzeugung:

Größenabfragen:

Handle-Zugriff:

KEM-Operationen:

DSA-Operationen:

Import / Export:

KEM — Shared Secret aushandeln (ML-KEM-768):

import std.crypto.pqc.pqc;
import std.alloc;

fn main(): int64 {
  // Empfänger erzeugt Schlüsselpaar
  var kp: int64 := PQCKeyGen(PQC_ALG_MLKEM_768);

  // Sender kapselt Shared Secret ein (nur PK nötig)
  var ct_len: int64 := PQCCTLen(PQC_ALG_MLKEM_768);
  var ct: int64 := alloc(ct_len);
  var ss_enc: int64 := alloc(PQC_SS_LEN);
  PQCEncapsulate(kp, ct, ss_enc);

  // Empfänger rekonstruiert Shared Secret
  var ss_dec: int64 := alloc(PQC_SS_LEN);
  PQCDecapsulate(kp, ct, ss_dec);
  // ss_enc == ss_dec

  free(ct, ct_len); free(ss_enc, PQC_SS_LEN); free(ss_dec, PQC_SS_LEN);
  PQCFreeKeyPair(kp);
  return 0;
}

DSA — Signieren und Verifizieren (ML-DSA-65):

import std.crypto.pqc.pqc;
import std.alloc;

fn main(): int64 {
  var kp: int64 := PQCKeyGen(PQC_ALG_MLDSA_65);

  var msg: pchar := "Zu signieren"c;
  var m_len: int64 := 12;
  var sig_max: int64 := PQCSigLen(PQC_ALG_MLDSA_65);
  var sig: int64 := alloc(sig_max);
  var sig_len: int64 := PQCSign(kp, msg as int64, m_len, sig);

  var ok: int64 := PQCVerify(kp, msg as int64, m_len, sig, sig_len);
  // ok == 1 wenn gültig

  free(sig, sig_max);
  PQCFreeKeyPair(kp);
  return 0;
}

Letzte Aktualisierung: 2026-06-08