The one-sentence version
An isogeny is an "addition-preserving map" between elliptic curves: a group homomorphism given by rational functions. In a huge network of curves and isogenies, finding the path between a known start and end was believed to be hard even for quantum computers, and so isogeny cryptography was born. Its most famous scheme, SIKE, reached the fourth round of NIST's post-quantum standardization, only to be broken in July 2022 by Castryck and Decru in about an hour on an ordinary computer. The break used a theorem from 1997 and had nothing to do with quantum computing.
This article has three layers:
- The intuition: walking through a maze of curves
- Real-world use: a timeline of SIKE's rise and fall, and where isogeny cryptography stands today (CSIDH, SQIsign)
- The mathematics: what an isogeny is, Vélu's formulas, the structure of SIDH, why the extra leaked information is fatal and a worked example over
Layer 1: The Intuition
1.1 A maze of curves
In the article on elliptic curves, we "walk steps" on one curve. Isogeny cryptography changes the stage:
- Each "room" is an entire elliptic curve;
- Rooms are connected by doors, and the doors are isogenies (maps that send points on one curve to points on another while preserving addition);
- All the rooms and doors form a huge maze (the isogeny graph), with about rooms, where has hundreds of digits.
The hard problem: given a starting room and an ending room, find the path between them.
1.2 Exchanging keys like Diffie–Hellman
The idea of SIDH (Supersingular Isogeny Diffie–Hellman) closely resembles Diffie–Hellman:
- Alice and Bob start from the same public room, and each secretly walks a path;
- Each publishes their ending room;
- Each then starts from the other's ending room and "walks again" along their own secret route;
- Both arrive at the same room (strictly speaking, isomorphic curves), and this is the shared key.
The trouble is in step 3: so that the other side can "walk again along their own route", SIDH must also publish some auxiliary points (where its route sent certain points). These auxiliary points eventually doomed the whole scheme.
1.3 Why it was once so promising
- The shortest keys: among all post-quantum schemes, SIKE's public key was only about 330 bytes, against about 800 bytes for Kyber and hundreds of KB for Classic McEliece;
- Mathematical elegance: it continued the elliptic curve technology stack;
- Ten years without a break.
Layer 2: Real-World Use
2.1 The rise and fall of SIKE
The core tool of the attack is a 1997 theorem by Ernst Kani on "gluing two elliptic curves into an abelian surface". An old result in algebraic geometry suddenly became a key 25 years later.
2.2 The lessons
- The evidence for security was only "nobody has broken it": SIDH was studied for ten years and looked very solid, but it relied on a special problem (with auxiliary points thrown in), not the widely studied "pure" isogeny problem.
- Hybrid deployment saved the day: the Cloudflare and Google trials were all "classical ECDH + SIKE" hybrids, so even with SIKE broken, connections still had the classical algorithm as a backstop. This is exactly why "Post-Quantum Cryptography" emphasizes hybrid schemes.
- Cryptographic diversity: NIST keeps hash-based and code-based schemes alongside lattice schemes, precisely to prevent "one mathematical structure collapsing and taking everything with it".
2.3 Is isogeny cryptography still alive?
It is. The attack only targets SIDH's "public auxiliary points" design:
| Scheme | Status |
|---|---|
| CSIDH (2018) | Publishes no auxiliary points and is unaffected by this attack, but has a subexponential quantum attack (Kuperberg's algorithm), so parameters must be fairly large |
| SQIsign (2020) | An isogeny-based signature with very short signatures and public keys, in later rounds of NIST's additional signature call; recent improvements (such as SQIsign2D, which uses Kani's theorem itself) have actually turned the "attack tool" into a "construction tool" |
Layer 3: The Mathematics
3.1 What an isogeny is
An isogeny from elliptic curve to is a non-constant map such that:
- It is given by rational functions: ;
- It sends the point at infinity to the point at infinity.
It can be proved that such a map is automatically a group homomorphism: . Its kernel is a finite subgroup of .
Vélu's formulas: conversely, for any finite subgroup of , there is an isogeny with kernel , and explicit formulas compute the target curve , written . This is entirely analogous to the abstract algebra fact that "a normal subgroup gives a quotient group and a natural homomorphism ".
Tate's theorem: over , an isogeny between and exists if and only if they have the same number of points.
3.2 A worked example: a 2-isogeny
For a curve of the form , the point has order . The isogeny with kernel has a neat formula:
Over , with and
The two curves have the same number of points: each (including the point at infinity), as Tate's theorem says. But their -invariants are and respectively, so they are not isomorphic: two different rooms in the maze.
Mapping a point: . Check: ✓
- . Check that it is on : ✓
All points on were checked with Python, and they all land on after the map. (Checked with Python.)
3.3 The structure of SIDH (simplified)
- Take a prime , and a supersingular elliptic curve over .
- Alice's secret is a cyclic subgroup of of order , and she computes , which amounts to walking steps in the 2-isogeny graph. Bob likewise walks in the 3-isogeny graph.
- So that the other side can "reproduce" her subgroup on , Alice must also publish the images of Bob's basis points under her isogeny .
- Finally both arrive at , and take its -invariant as the shared key.
3.4 Why the auxiliary points are fatal
Publishing tells an attacker the values of the secret isogeny on an entire -torsion subgroup.
The key insight of Castryck and Decru: using Kani's theorem, and another known isogeny can be "assembled" into a higher-dimensional isogeny on the product of two curves . Only when a guess is correct does the target of this higher-dimensional isogeny "split" into a product of two elliptic curves, and checking whether it splits is easy. So an attacker can guess Alice's secret path step by step, trying only a few possibilities at each step.
Later, Robert proved that with these auxiliary points, any isogeny can be reconstructed in polynomial time.
Summary
| Layer | Key points |
|---|---|
| Intuition | Rooms are curves and doors are isogenies; finding the path is hard |
| Algebra | An isogeny is a group homomorphism given by rational functions; its kernel determines the target curve (Vélu, by analogy with quotient groups) |
| SIKE | Key exchange forces publishing auxiliary points, leaking the isogeny's values on an entire torsion subgroup |
| Lessons | "Unbroken for ten years" doesn't mean secure; hybrid deployment saved the day; CSIDH and SQIsign live on |