01 — Proof system · Failure mode

Buying post-quantum security you do not have

A hash-based system is chosen for post-quantum posture, but the deployed system wraps into a pairing SNARK, or the zero-knowledge property is only computational, or the surrounding signatures and key exchange remain classical. The property does not compose the way the decision assumed.

Mitigation

Separate soundness from confidentiality and check each end to end. If a long-lived secret is hidden, the hiding property must itself be statistical or post-quantum — a hash-based proof system does not supply that by itself.

Cite this page
MarketComp (2026). Buying post-quantum security you do not have. The ZK Field Manual (Version 1.3). MarketComp. https://zkpick.com/proof-systems/failure-modes/buying-post-quantum-security-you-do-not-have/
@misc{zkfieldmanual-buying-post-quantum-security-you-do-not-,
  title        = {Buying post-quantum security you do not have — The ZK Field Manual},
  author       = {MarketComp},
  year         = {2026},
  version      = {1.3},
  howpublished = {\url{https://zkpick.com/proof-systems/failure-modes/buying-post-quantum-security-you-do-not-have/}},
  note         = {Accessed: YYYY-MM-DD}
}