This post is about the paper Breaking the decisional Diffie-Hellman problem for class group actions using genus theory by Wouter Castryck, Jana Sotáková and Frederik Vercauteren.
First let us recall the situation in the setting of where is prime. A Diffie-Hellman quadruple is for . The Decision Diffie-Hellman problem (DDH) is to distinguish such a triple (for uniformly sampled and ) from a quadruple for uniformly sampled and .
The Legendre symbol is multiplicative, which implies that . If (which may happen when has even order) then one can learn the parity of and from respectively, and hence test if the fourth value of the quadruple has Legendre symbol consistent with . This well-known fact allows to reject half of all uniformly sampled quadruples when , which is sufficient to say that DDH is not a hard problem in .
One can increase the success rate beyond by using a random-self-reduction of Diffie-Hellman quadruples, but one can never get a perfect DDH oracle (i.e., an oracle that only accepts ) from this technique, as the Legendre symbol only “sees” the order 2 elements.
The Legendre symbol is just a group homomorphism , and for any prime one can get a homomorphism where is a subgroup of order . Hence, if has a range of small factors then one can get an increasingly accurate algorithm to distinguish Diffie-Hellman quadruples from random quadruples (and hence solve DDH).
[As an aside: The amazing thing about the Legendre symbol, and the reason it is taught in all good number theory courses, is not the existence of a group homomorphism . This is trivial. What is non-trivial is the quadratic reciprocity law, which gives a non-obvious and very efficient way to compute Legendre symbols.]
Similarly, for any finite group one can consider group homomorphisms to subgroups of small order. So one can also attack elliptic curve DDH in a similar way. This is one of the main reasons why the community works with groups of prime order, and in particular elliptic curves of prime order.
Now we turn to group actions. Let be a finite group acting on a set . Write the action of on as . For example, let be an ideal class group acting on the set of supersingular elliptic curves with j-invariant in . This is the setting of the CSIDH system in isogeny-based post-quantum crypto. The natural analogue of DLP is: Given and to compute . The natural analogue of DDH is to distinguish from , where are uniformly sampled from .
Knowing about Legendre symbols, it is natural to speculate that one might be able to do something similar for group actions. We’d like a group homomorphism for some group of small prime order, and to be able to compute from . That is what the paper of Castryck, Sotáková and Vercauteren does.
In some survey talks (such as at ANTS 2018 and at the Alice Silverberg birthday conference in 2018) I asked “Can subgroups of ideal class group be exploited?” While I thought this would be a good problem, I did not have any clue how to do this. I am surprised and delighted by the new results.
Without going into the details, what the paper shows is that one can get enough information about the degree of an isogeny from to (and hence the norm of the ideal ) from looking at pairings of points on the elliptic curve. It is a wonderful and surprising (at least, to me) result, and brings a new set of ideas and techniques into isogeny crypto. The paper is not too hard to follow (don’t be put off by the phrase “genus theory” — it is not as scary as it sounds).
I end with a few small comments. First, as with the case of , this does not give a perfect algorithm to distinguish DDH quadruples from uniform ones. But it does allow to reject some quadruples as being definitely not DDH, and this is enough to break the DDH assumption. Second, breaking the DDH assumption does not, as far as I know, break any isogeny cryptosystem. This is because isogeny cryptosystems are rather unsophisticated compared with DLP-based protocols. Third, the results do not apply to SIDH and have no impact on the SIKE submission to the NIST standardization process.
To conclude, this paper is a great theoretical result that brings new ideas to the field. What will be next for isogeny crypto? Whatever it is, I look forward to it!
— Steven Galbraith