A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Post-Quantum Cryptography

Research Depth 101 in the knowledge graph ☐ I know this ☆ Set as goal
2topics build on this
541prerequisites beneath it
See this on the map →
Lattice-Based CryptographyLearning with Errors (LWE)+1 more→→Code-Based CryptographyIsogeny-Based Cryptography
post-quantum nist-pqc kyber dilithium harvest-now-decrypt-later

Core Idea

Shor's quantum algorithm solves factoring and discrete logarithms in polynomial time, breaking RSA, DH, ECDH, and ECDSA. Post-quantum cryptography (PQC) develops replacements based on problems believed resistant to quantum attack: lattices (ML-KEM, ML-DSA), hash functions (SPHINCS+/SLH-DSA), codes (Classic McEliece), and multivariate polynomials. NIST standardized ML-KEM and ML-DSA in 2024, based on Module-LWE/Module-SIS. The "harvest now, decrypt later" threat (adversaries store encrypted traffic for future quantum decryption) motivates immediate transition, even before large quantum computers exist. Hybrid approaches pair PQC with classical algorithms during the migration.

Explainer

Post-quantum cryptography (PQC) is the urgent project of replacing the public-key algorithms (RSA, DH, ECDH, ECDSA) that secure the internet with alternatives that resist quantum computers. The threat is specific and devastating: Shor's algorithm solves integer factoring and discrete logarithms in polynomial time on a quantum computer, completely breaking RSA (factoring), Diffie-Hellman (discrete logs in multiplicative groups), and elliptic curve cryptography (discrete logs in elliptic curve groups). A sufficiently large quantum computer would break every HTTPS connection, every digital signature, and every encrypted email that relies on these algorithms.

The urgency comes from the "harvest now, decrypt later" threat model. State-level adversaries are believed to be recording encrypted internet traffic today, storing it for future decryption once quantum computers mature. Data that must remain confidential for 20+ years (classified information, medical records, long-term business secrets) is already at risk if encrypted with quantum-vulnerable algorithms. The migration timeline compounds the urgency: replacing cryptographic algorithms across global infrastructure — browsers, servers, hardware security modules, embedded systems, satellites — takes years. Starting the transition after quantum computers arrive means years of additional vulnerability.

NIST finalized its first PQC standards in 2024 after an 8-year evaluation process. ML-KEM (Module-Lattice Key Encapsulation Mechanism, based on Kyber) replaces ECDH for key exchange, with public keys around 800-1500 bytes and encapsulation times under a millisecond. ML-DSA (Module-Lattice Digital Signature Algorithm, based on Dilithium) replaces ECDSA for signatures, with ~2.4 KB signatures. Both are based on Module-LWE/Module-SIS, lattice problems believed to resist quantum attacks. SLH-DSA (Stateless Hash-based Digital Signature Algorithm, based on SPHINCS+) provides an alternative signature scheme relying only on hash function security — larger signatures (8-50 KB) but based on the most conservative assumptions. The devastating 2022 break of SIDH/SIKE (an isogeny-based finalist that fell to a polynomial-time attack after a decade of study) reinforced the importance of this algorithmic diversity.

The transition strategy involves hybrid approaches: pairing classical algorithms with PQC counterparts so that security holds if either algorithm survives. Chrome and Firefox already support hybrid TLS key exchange (X25519 + ML-KEM). The combined key is derived from both algorithms' outputs, ensuring that a break in ML-KEM (if lattice assumptions fail) leaves ECDH protection intact, while a quantum attack on ECDH leaves ML-KEM protection intact. This belt-and-suspenders approach will likely persist for years as the cryptographic community builds confidence in the new standards. The PQC transition is the largest coordinated change in deployed cryptographic infrastructure since the adoption of public-key cryptography itself, touching every system that establishes secure connections or verifies digital signatures.

Practice Questions 5 questions

Prerequisite Chain

Understanding Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Introduction to Exponents → Order of Operations → Integer Order of Operations → Variable Expressions → The Distributive Property → Variables and Expressions Review → Introduction to Polynomials → Adding and Subtracting Polynomials → Multiplying Polynomials → Factorial → Permutations → Combinations → Counting Principles: Addition and Multiplication Rules → Introduction to Graph Theory → Propositional Logic Foundations → Logical Equivalences → Boolean Algebra → Boolean Type and Truth Values → Comparison Operators and Boolean Tests → Logical Operators and Boolean Algebra → Boolean Algebra and Fundamental Laws → Logic Gates Fundamentals → Implementing Boolean Functions with Gates → Karnaugh Map Simplification → Combinational Circuit Design → Flip-Flops and Latches → Finite State Machines (FSMs) → Deterministic Finite Automata (DFA) → Nondeterministic Finite Automata (NFA) → Two-Way Finite Automata → NFA to DFA Conversion (Subset Construction) → DFA Properties and Minimization Algorithms → Regular Languages: Definition and Characterization → Context-Free Grammars (CFGs) → Pushdown Automata (PDA) → Equivalence of CFGs and Pushdown Automata → Closure Properties of Context-Free Languages → Limitations of Context-Free Languages → Pumping Lemma for Context-Free Languages → Turing Machines → Variants of Turing Machines and Equivalence → Nondeterministic Time Complexity and NP → The P vs. NP Problem → Complexity Class P: Polynomial Time → Hash Functions and Collision Resistance → The RSA Cryptosystem → Computational Hardness Assumptions → Lattice-Based Cryptography → Learning with Errors (LWE) → Post-Quantum Cryptography

Longest path: 102 steps · 541 total prerequisite topics

Prerequisites (3)

Leads To (2)