Paper 2022/1259

Horizontal racewalking using radical isogenies

Abstract

We address three main open problems concerning the use of radical isogenies, as presented by Castryck, Decru and Vercauteren at Asiacrypt 2020, in the computation of long chains of isogenies of fixed, small degree between elliptic curves over finite fields. Firstly, we present an interpolation method for finding radical isogeny formulae in a given degree $$, which by-passes the need for factoring division polynomials over large function fields. Using this method, we are able to push the range for which we have formulae at our disposal from $$ to $$ (where in the range $$ we have restricted our attention to prime powers). Secondly, using a combination of known techniques and ad-hoc manipulations, we derive optimized versions of these formulae for $$, with some instances performing more than twice as fast as their counterparts from 2020. Thirdly, we solve the problem of understanding the correct choice of radical when walking along the surface between supersingular elliptic curves over $$ with $$; this is non-trivial for even $$ and was settled for $$ and $$ only, in the latter case by Onuki and Moriya at PKC 2022. We give a conjectural statement for all even $$ and prove it for $$. The speed-ups obtained from these techniques are substantial: using $$-isogenies, the computation of long chains of $$-isogenies over $$-bit prime fields can be accelerated by a factor $$, and the previous implementation of CSIDH using radical isogenies can be sped up by about $$.