Post-Quantum Cryptography Meets Zero-Knowledge: Closing the Verification Gap

Summary

NIST PQC standards and practical SNARK systems evolved in parallel. This paper argues for hybrid constructions that close the verification gap for ten-year audit retention.

Download the full PDF for technical detail, diagrams, and reproduction steps. Public sandbox: affix-io.com/sandbox.

Related reading

• WP-002: Post-Quantum Attestation in Production with ML-DSA-65
• WP-031: ZK Post-Quantum Hybrid Key Exchange: ML-KEM in Circuits
• WP-003: The Proof-Not-Log Paradigm for AI Audit Trails