[Resource Topic] 2024/146: Computing Orientations from the Endomorphism Ring of Supersingular Curves and Applications

Welcome to the resource topic for 2024/146

Title:
Computing Orientations from the Endomorphism Ring of Supersingular Curves and Applications

Authors: Jonathan Komada Eriksen, Antonin Leroux

Abstract:

This work introduces several algorithms related to the computation of orientations in endomorphism rings of supersingular elliptic curves. This problem boils down to representing integers by ternary quadratic forms, and it is at the heart of several results regarding the security of oriented-curves in isogeny-based cryptography.
Our main contribution is to show that there exists efficient algorithms that can solve this problem for quadratic orders of discriminant n up to O(p^{4/3}). Our approach improves upon previous results by increasing this bound from O(p) to O(p^{4/3}) and removing some heuristics.
We introduce several variants of our new algorithm and provide a careful analysis of their asymptotic running time (without heuristic when it is possible). The best proven asymptotic complexity of one of our variant is O(n^{3/4}/p) in average. The best heuristic variant has a complexity of O(p^{1/3}) for big enough n.
We then introduce several results regarding the computation of ideals between oriented orders. The first application of this is a simplification of the known reduction from vectorization to computing the endomorphism ring, removing the assumption on the factorization of the discriminant. As a second application, we relate the problem of computing fixed-degree isogenies between supersingular curves to the problem of computing orientations in endomorphism rings, and we show that for a large range of degree d, our new algorithms improve on the state-of-the-art, and in important special cases, the range of degree d for which there exist a polynomial-time algorithm is increased. In the most special case we consider, when both curves are oriented by a small degree endomorphism, we show heuristically that our techniques allow the computation of isogenies of any degree, assuming they exist.

ePrint: https://eprint.iacr.org/2024/146

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .