English
Related papers

Related papers: The SEA algorithm for endomorphisms of supersingul…

200 papers

Let $E$ be an elliptic curve over a finite field $\mathbb{F}_q$ where $q$ is a prime power. The Schoof--Elkies--Atkin (SEA) algorithm is a standard method for counting the number of $\mathbb{F}_q$-points on $E$. The asymptotic complexity of…

Number Theory · Mathematics 2023-11-30 Meher Elijah Lippmann , Kevin J. McGown

In supersingular isogeny-based cryptography, the path-finding problem reduces to the endomorphism ring problem. Can path-finding be reduced to knowing just one endomorphism? It is known that a small endomorphism enables polynomial-time…

Let $\mathcal{E}/\mathbb{F}_q$ be an elliptic curve, and $P$ a point in $\mathcal{E}(\mathbb{F}_q)$ of prime order $\ell$. V\'elu's formulae let us compute a quotient curve $\mathcal{E}' = \mathcal{E}/\langle{P}\rangle$ and rational maps…

Cryptography and Security · Computer Science 2020-03-24 Daniel Bernstein , Luca de Feo , Antonin Leroux , Benjamin Smith

We present several new heuristic algorithms to compute class polynomials and modular polynomials modulo a prime $p$ by revisiting the idea of working with supersingular elliptic curves. The best known algorithms to this date are based on…

Number Theory · Mathematics 2023-12-18 Antonin Leroux

Fix $p$ an odd prime. Let $E$ be an elliptic curve over $\mathbb{Q}$ with semistable reduction at $p$. We show that the adjoint $p$-adic $L$-function of $E$ evaluated at infinitely many integers prime to $p$ completely determines up to a…

Number Theory · Mathematics 2014-06-11 Maria Monica Nastasescu

We survey algorithms for computing isogenies between elliptic curves defined over a field of characteristic either 0 or a large prime. We introduce a new algorithm that computes an isogeny of degree $\ell$ ($\ell$ different from the…

Computational Complexity · Computer Science 2013-06-19 Alin Bostan , Bruno Salvy , Francois Morain , Eric Schost

We present e cient algorithms for computing isogenies between hyperelliptic curves, leveraging higher genus curves to enhance cryptographic protocols in the post-quantum context. Our algorithms reduce the computational complexity of isogeny…

Number Theory · Mathematics 2025-04-08 Mohammed El Baraka , Siham Ezzouak

We present two algorithms that, given a prime ell and an elliptic curve E/Fq, directly compute the polynomial Phi_ell(j(E),Y) in Fq[Y] whose roots are the j-invariants of the elliptic curves that are ell-isogenous to E. We do not assume…

Number Theory · Mathematics 2014-10-14 Andrew V. Sutherland

Let $E$ be an elliptic curve over $\mathbb{Q}$. Let $p$ be a prime of good reduction for $E$. Then, for a prime $p \neq \ell$, the Frobenius automorphism associated to $p$ (unique up to conjugation) acts on the $\ell$-adic Tate module of…

Number Theory · Mathematics 2018-06-15 Stephan Baier , Vijay M. Patankar

We present algorithms which, given a genus 2 curve $C$ defined over a finite field and a quartic CM field $K$, determine whether the endomorphism ring of the Jacobian $J$ of $C$ is the full ring of integers in $K$. In particular, we present…

Number Theory · Mathematics 2007-06-13 David Freeman , Kristin Lauter

We characterize the possible groups $E(\mathbb{Z}/N\mathbb{Z})$ arising from elliptic curves over $\mathbb{Z}/N\mathbb{Z}$ in terms of the groups $E(\mathbb{F}_p)$, with $p$ varying among the prime divisors of $N$. This classification is…

Number Theory · Mathematics 2024-03-11 Massimiliano Sala , Daniele Taufer

In this paper, we intend to study the geometric meaning of the discrete logarithm problem defined over an Elliptic Curve. The key idea is to reduce the Elliptic Curve Discrete Logarithm Problem (EC-DLP) into a system of equations. These…

Cryptography and Security · Computer Science 2019-09-20 Daniele Di Tullio , Ankan Pal

Let $E$ be an elliptic curve over $\Q$. It is well known that the ring of endomorphisms of $E_p$, the reduction of $E$ modulo a prime $p$ of ordinary reduction, is an order of the quadratic imaginary field $Q(\pi_p)$ generated by the…

Number Theory · Mathematics 2008-05-07 Chantal David , Jorge Jimenez Urroz

Let $E$ be an elliptic curve described by either an Edwards model or a twisted Edwards model over $\mathbb{F}_p$, namely, $E$ is defined by one of the following equations $x^2+y^2=a^2(1+x^2y^2),\, a^5-a\not\equiv 0$ mod $p$, or,…

Number Theory · Mathematics 2016-03-07 Mohammad Sadek , Nermine El-Sissi

We will describe an algorithm to construct an elliptic curve $E_{f_q}$ over some prime field $\mathbb{F}_p$ such that such that $|E_{f_q}(\mathbb{F}_p)| = f_q$, where $f_q$ is a probable Fibonacci prime for some prime index $q$. The…

Number Theory · Mathematics 2017-10-17 Rosina Campbell , Duc Van Huynh , Tyler Melton , Andrew Percival

Elliptic curves have a well-known and explicit theory for the construction and application of endomorphisms, which can be applied to improve performance in scalar multiplication. Recent work has extended these techniques to hyperelliptic…

Number Theory · Mathematics 2007-05-23 David R. Kohel , Benjamin A. Smith

Isogenies occur throughout the theory of elliptic curves. Recently, the cryptographic protocols based on isogenies are considered as candidates of quantum-resistant cryptographic protocols. Given two elliptic curves $E_1, E_2$ defined over…

Number Theory · Mathematics 2020-01-03 Lixia Luo , Guanju Xiao , Yingpu Deng

For an elliptic curve $E$ over a finite field $\F_q$, where $q$ is a prime power, we propose new algorithms for testing the supersingularity of $E$. Our algorithms are based on the Polynomial Identity Testing (PIT) problem for the $p$-th…

Symbolic Computation · Computer Science 2018-01-17 Javad Doliskani

We introduce a special class of supersingular curves over $\mathbb{F}_{p^2}$, characterized by the existence of non-integer endomorphisms of small degree. A number of properties of this set is proved. Most notably, we show that when this…

Number Theory · Mathematics 2020-06-25 Jonathan Love , Dan Boneh

For a genus $2$ curve $C$ over $\mathbb{Q}$ whose Jacobian $A$ admits only trivial geometric endomorphisms, Serre's open image theorem for abelian surfaces asserts that there are only finitely many primes $\ell$ for which the Galois action…