Caloogy Article
中文

Isogeny Cryptography and the Death of SIKE: A Laptop Breaks a NIST Candidate in an Hour

Date
Feb 21, 2026
Series
Cryptography
Reading
5 min
Topics
IsogenySIDHSIKECSIDH

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:

  1. The intuition: walking through a maze of curves
  2. Real-world use: a timeline of SIKE's rise and fall, and where isogeny cryptography stands today (CSIDH, SQIsign)
  3. 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 F13\mathbb{F}_{13}

Layer 1: The Intuition

1.1 A maze of curves

In the article on elliptic curves, we "walk kk steps" on one curve. Isogeny cryptography changes the stage:

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:

  1. Alice and Bob start from the same public room, and each secretly walks a path;
  2. Each publishes their ending room;
  3. Each then starts from the other's ending room and "walks again" along their own secret route;
  4. 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


Layer 2: Real-World Use

2.1 The rise and fall of SIKE

2006Charles, Goren andLauter propose a hashfunction based onisogeny graphs2011Jao and De Feopropose SIDH2017SIKE is submitted toNIST post-quantumstandardization2019Cloudflare and Googletrial SIKE hybrid keyexchange in TLS2022-07NIST round 3 ends,and SIKE advances toround 4 as an alternate2022-07Weeks later, Castryckand Decru publish anattack, breaking thesmallest parameter setin about an hour onone core2022-08Maino–Martindale andRobert improve it inturn, and all parametersets fall in polynomialtimeA short history of SIDH / 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

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 E1E_1 to E2E_2 is a non-constant map ϕ:E1→E2\phi: E_1 \to E_2 such that:

It can be proved that such a map is automatically a group homomorphism: ϕ(P+Q)=ϕ(P)+ϕ(Q)\phi(P + Q) = \phi(P) + \phi(Q). Its kernel ker⁡ϕ\ker\phi is a finite subgroup of E1E_1.

Vélu's formulas: conversely, for any finite subgroup GG of E1E_1, there is an isogeny with kernel GG, and explicit formulas compute the target curve E2E_2, written E1/GE_1 / G. This is entirely analogous to the abstract algebra fact that "a normal subgroup NN gives a quotient group G/NG/N and a natural homomorphism G→G/NG \to G/N".

Tate's theorem: over Fq\mathbb{F}_q, an isogeny between E1E_1 and E2E_2 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 E:y2=x3+ax2+bxE: y^2 = x^3 + ax^2 + bx, the point (0,0)(0, 0) has order 22. The isogeny with kernel {O,(0,0)}\{O, (0, 0)\} has a neat formula:

E′:y2=x3−2a x2+(a2−4b) x,ϕ(x,y)=(y2x2, y (b−x2)x2).E' : y^2 = x^3 - 2a\,x^2 + (a^2 - 4b)\,x,\qquad \phi(x, y) = \left(\frac{y^2}{x^2},\ \frac{y\,(b - x^2)}{x^2}\right).

Over F13\mathbb{F}_{13}, with a=1a = 1 and b=3b = 3

  • E:y2=x3+x2+3xE: y^2 = x^3 + x^2 + 3x
  • E′:y2=x3−2x2−11x=x3+11x2+2x(mod13)E': y^2 = x^3 - 2x^2 - 11x = x^3 + 11x^2 + 2x \pmod{13}

The two curves have the same number of points: 1616 each (including the point at infinity), as Tate's theorem says. But their jj-invariants are 44 and 1111 respectively, so they are not isomorphic: two different rooms in the maze.

Mapping a point: P=(5,3)∈EP = (5, 3) \in E. Check: 125+25+15=165=12⋅13+9≡9=32125 + 25 + 15 = 165 = 12 \cdot 13 + 9 \equiv 9 = 3^2 ✓

  • x2=25≡12≡−1x^2 = 25 \equiv 12 \equiv -1
  • X=y2/x2=9/(−1)=−9≡4X = y^2 / x^2 = 9 / (-1) = -9 \equiv 4
  • Y=y(b−x2)/x2=3⋅(3−25)/(−1)=3⋅22=66≡1Y = y(b - x^2)/x^2 = 3 \cdot (3 - 25)/(-1) = 3 \cdot 22 = 66 \equiv 1
  • ϕ(P)=(4,1)\phi(P) = (4, 1). Check that it is on E′E': 64+11⋅16+8=248=19⋅13+1≡1=1264 + 11 \cdot 16 + 8 = 248 = 19 \cdot 13 + 1 \equiv 1 = 1^2 ✓

All points on EE were checked with Python, and they all land on E′E' after the map. (Checked with Python.)

3.3 The structure of SIDH (simplified)

3.4 Why the auxiliary points are fatal

Publishing ϕA(PB),ϕA(QB)\phi_A(P_B), \phi_A(Q_B) tells an attacker the values of the secret isogeny ϕA\phi_A on an entire 3eB3^{e_B}-torsion subgroup.

The key insight of Castryck and Decru: using Kani's theorem, ϕA\phi_A and another known isogeny can be "assembled" into a higher-dimensional isogeny on the product of two curves E×E′E \times E'. 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