Skip to content

Back to the catalog

Post-Quantum: Lattice or Hash-Based (one question, two right answers)
ethresear.charticle

Post-Quantum: Lattice or Hash-Based (one question, two right answers)

A deep-dive field guide to choosing between lattice-based (ML-DSA/FN-DSA) and hash-based (SLH-DSA) post-quantum signatures, built from interviews with the designers and implementers behind both NIST standards and their deployments. It walks through Mosca's-inequality-style migration timing, CNSA 2.0's split between lattice signatures and stateful hash-based LMS/XMSS for firmware, the stateful-signature "footgun," and why the broader internet (TLS/WebPKI, via Merkle Tree Certificates) is converging on lattices while Ethereum's post-quantum consensus roadmap (leanXMSS, EIP-8292, EIP-8288 aggregation) and Algorand's live Falcon-1024 state proofs lean hash-based or scheme-neutral because of aggregation and on-chain storage constraints. It closes with a decision framework and a rundown of NIST's round-3 "onramp" signature candidates (MAYO, SQIsign, HAWK, etc.).

TL;DR An expert-sourced guide to picking ML-DSA vs SLH-DSA vs FN-DSA for PQ signature migration, and why Ethereum, Bitcoin, and Algorand are each answering the lattice-vs-hash question differently than the rest of the internet.
Document

What it is

A decision framework for post-quantum signatures built from interviews with NIST/CNSA standard designers (Peter Schwabe, Bas Westerbaan, Filippo Valsorda, Thom Wiggers, Michael Baentsch), with concrete, dated specifics beyond the lattice-vs-hash framing already summarized: hard numbers, a timing formula, and named gaps in current tooling.

How it works

Two system properties determine the answer, not scheme preference: (1) where verification happens — CPU (bytes/verifier maturity dominate) vs. inside a proof circuit (constraint count dominates, hashing is nearly free) — and (2) whether signatures travel alone with a stored key or arrive in crowds needing aggregation. Mosca's inequality is reframed for signatures as v + y > z (verification lifetime + migration time > time to cryptanalytically-relevant quantum computer) to decide migration urgency per use case rather than uniformly.

Preconditions / Affected

  • Anyone choosing between ML-DSA (FIPS 204), SLH-DSA (FIPS 205), or planning for FN-DSA/Falcon (FIPS 206, still draft as of Aug 28, 2025, final expected late 2026/early 2027).
  • CNSA 2.0 binds only National Security Systems: ML-DSA-87 for general signatures; LMS/XMSS (stateful, SP 800-208) specifically for firmware/software signing, with all deployed firmware required on CNSA 2.0 signatures by 2030.
  • Stateful schemes (XMSS/LMS) are only safe where state management is already mandatory (hardware-enforced counters, or Ethereum's validator keystore, EIP-8310) — not for consumer wallets.

What to do

  • Treat verifier readiness as a hard gate, not a formality: as of September 2026, Project Wycheproof has adversarial test vectors for ML-KEM and ML-DSA but not SLH-DSA — only conformance (CAVP/ACVP) vectors exist for it, which don't catch adversarial edge cases. Re-check this before leaning on SLH-DSA's "conservative" framing, since it can flip which scheme is actually riskier to deploy.
  • For TLS-adjacent systems, note Go 1.27 (Aug 2026) shipped crypto/mldsa (FIPS 204) wired into crypto/x509/crypto/tls — this closed a gate Sigstore had set as a precondition for PQ signing adoption.
  • If choosing hybrid (classical+PQ) vs. pure PQ signatures: NSA's CNSA 2.0 FAQ explicitly argues against hybrid as default (extra interop burden, second future migration, added implementation complexity) while permitting it only for technical constraints like IKEv2 key-size limits — contradicting the common "hybrid now" default advice.
  • For blockchain/on-chain contexts: Algorand is the only live deployment of a NIST-track scheme — Falcon-1024 (pre-standard, not FIPS 206) signs State Proofs since 2022, with a native falcon_verify AVM opcode added September 2024, and native Falcon-1024 PQ accounts activated on mainnet August 2026.
  • Ethereum's concrete roadmap artifacts to track: EIP-8292 (consensus aggregation via zkVM proofs over leanXMSS), EIP-8310 (validator keystore for state management), EIP-8288 (June 3, 2026 proposal for scheme-agnostic block-level aggregation via recursive STARKs).

Caveats

  • CNSA 2.0 v2.1 now also approves ML-DSA for firmware signing; LMS/XMSS remain preferred only because validated implementations are commercially available today, not as a permanent mandate.
  • Falcon-1024 on Algorand is pre-standard, not FIPS 206 FN-DSA — the article explicitly warns against reading this as "FN-DSA in production."
  • The NIST onramp (round 3, nine candidates including MAYO, SQIsign, HAWK) won't produce a standard before roughly 2028 — not a near-term option.

Organisations named here

  • CNSA 2.0
  • Falcon
  • FIPS 204
  • FIPS 206
  • Merkle Tree Certificates
  • ML-DSA
  • ML-KEM
  • Shor's algorithm
  • SLH-DSA
  • SP 800-208
  • Wycheproof

Technologies named here

  • ML-DSA
  • TLS
  • SLH-DSA
  • RSA / Elliptic Curve signatures
  • FN-DSA / Falcon
  • JWTs
  • ML-KEM
  • Secure boot / firmware signing
  • Code signing
  • HQC
  • Project Wycheproof
  • Go crypto/tls, crypto/x509, crypto/mldsa
  • NIST CAVP/ACVP
  • Ethereum
  • Bitcoin
  • XMSS / LMS
  • Algorand
  • HSS / XMSS^MT
  • leanXMSS / leanSpec
  • Zcash
  • IKEv2
  • Minimal zkVM
  • openssl
  • EIP-8292
  • EIP-8310
  • EIP-8288
  • BLS signatures
  • Merkle Tree Certificates / PLANTS working group
  • Signal SPQR ratchet
  • FALCON
  • BIP-360 / P2QRH / Pay-to-Merkle-Root
  • BIP-361
  • BIP66
  • ZIP-215
  • NIST IR 8610 / additional-signatures 'onramp' process
  • Open Quantum Safe / OpenSSL provider ecosystem
  • LeanSphincs
  • Cloudflare
  • Go
  • Chrome
  • FN-DSA
  • BIP-360
  • XMSS
  • LMS
  • FIPS 205

Techniques named here

  • Harvest now, decrypt later
  • Mosca's inequality
  • Signature forgery after stateful key reuse
  • Key recovery via ecrecover
  • Signature aggregation / proof-based attestation aggregation
  • Hybrid cryptography
  • Differential fuzzing / consensus spec testing
  • Parameter-tuning / bounded-use signatures
  • Side-channel-resistant floating-point Gaussian sampling

Threat actors named here

  • Quantum computer running Shor's algorithm