Non-graded · offline · explore at your own pace
Replacing the math before the quantum computer arrives
Shor's algorithm breaks RSA, Diffie-Hellman, and elliptic-curve cryptography, which together protect almost every secure connection on the internet. No quantum computer can do that yet. But encrypted data recorded today can be decrypted later, so the replacement has to happen first. That replacement is post-quantum cryptography.
Factoring and discrete logarithms: the public-key layer.
Symmetric ciphers and hashes: fixed by using longer keys and outputs.
01 · The threat model
Harvest now, decrypt later
An attacker doesn't need a quantum computer today to cause harm later. They can record encrypted traffic now and store it until a cryptographically relevant quantum computer exists. Anything that must stay secret for years, such as medical records, government data, or trade secrets, is already exposed to this risk.
02 · Symmetric crypto
Grover's algorithm roughly halves the key-search exponent
Grover's algorithm searches an unsorted space of 2ⁿ possibilities in roughly 2n/2 steps. Applied to brute-forcing a key, 2¹²⁸ classical tries become about 2⁶⁴ quantum steps in the idealized count. That isn't the same as a classical 64-bit search: each step is slow, error-corrected, and must run one after another, so the real cost is far higher. The defense is simple: use longer keys.
Try it: choose a key length
Compare a classical brute-force search with Grover's search.
Hashes aren't hit the same way
Preimages (finding an input that produces a given n-bit hash) are a search problem, so Grover cuts them the same way it cuts keys: about 2n/2 steps. Collisions (finding any two inputs with the same hash) are different. Classically they already take about 2n/2 tries thanks to the birthday paradox. A quantum algorithm (Brassard–Høyer–Tapp) needs only about 2n/3 queries on paper, but it needs an enormous quantum memory, and counting that hardware cost it isn't believed to beat the classical attack. SHA-256 keeps roughly 128-bit collision resistance.
03 · The core idea
Hard problems with a little noise: learning with errors
ML-KEM and ML-DSA are built on learning with errors (LWE). Solving a system of linear equations is easy; high school algebra does it. Add the right kind of small random error to each equation, with carefully chosen sizes, and the system becomes extremely hard to solve, for classical and quantum computers alike, once there are hundreds of unknowns. Adding noise to just any system of equations doesn't make it quantum-resistant.
Try it: recover the secret (s₁, s₂), with and without noise
Four equations mod 17. Use elimination on the first two equations, then check whether the answer fits the other two. Toggle the noise and try again.
04 · The standards
NIST's post-quantum toolkit
Click an algorithm for its role and status.
Try it: compare the sizes
Post-quantum security costs bandwidth. Sizes in bytes; cyan is the public key, amber is the ciphertext or signature.
05 · When to start
Mosca's inequality
Michele Mosca framed the timing question as simple arithmetic. Let x be how long your data must stay secret, y how long migration will take, and z the years until a CRQC exists. If x + y > z, your data will still be sensitive when it becomes readable, and you're already late.
Try it: plug in your own numbers
Nobody knows z. Try a cautious and an optimistic estimate.
06 · Migration
How organizations are switching
NIST's draft transition plan (IR 8547, initial public draft, Nov 2024) proposes deprecating today's quantum-vulnerable public-key algorithms after 2030 and disallowing them after 2035. These dates are provisional until the plan is final. The NSA's CNSA 2.0 sets its own deadlines for national security systems, which vary by system type, and requires AES-256.