White paper WP-031
ZK Post-Quantum Hybrid Key Exchange: ML-KEM in Circuits
Prove KEM ran correctly when you cannot show the private key.
At a glance
- Paper
- WP-031
- Topic
- ZK Post-Quantum Hybrid Key Exchange: ML-KEM in Circuits
- Format
- PDF + web summary
- Signatures
- ML-DSA-65 post-quantum (NIST FIPS 204)
- Sandbox
- Reproducible at affix-io.com/sandbox
- Company
- AffixIO, Wales, UK
ZK Post-Quantum Hybrid Key Exchange: ML-KEM in Circuits is an AffixIO technical paper. Prove KEM ran correctly when you cannot show the private key.
Hybrid TLS treats PQC as a black box. This architecture enables SNARK proofs about ML-KEM operations for governance contexts requiring verifiable key exchange.
Summary
Hybrid TLS treats PQC as a black box. This architecture enables SNARK proofs about ML-KEM operations for governance contexts requiring verifiable key exchange.
Download the full PDF for technical detail, diagrams, and reproduction steps. Public sandbox: affix-io.com/sandbox.
Related reading
Frequently asked questions
What is WP-031 about?
Hybrid TLS treats PQC as a black box. This architecture enables SNARK proofs about ML-KEM operations for governance contexts requiring verifiable key exchange.
How can I test AffixIO before procurement?
Use the live sandbox at https://www.affix-io.com/sandbox/ or follow the evaluation path at https://www.affix-io.com/evaluate.