Discrete logarithms in curves over finite fields

Andreas Enge

DOI: https://doi.org/10.48550/arXiv.0712.3916

2007-12-23

Abstract:A survey on algorithms for computing discrete logarithms in Jacobians of curves over finite fields.

Cryptography and Security,Discrete Mathematics,Algebraic Geometry

What problem does this paper attempt to address?

An $L (1/3)$ Discrete Logarithm Algorithm for Low Degree Curves

Andreas Enge,Pierrick Gaudry,Emmanuel Thomé

DOI: https://doi.org/10.48550/arXiv.0905.2177

2009-12-21

Abstract:We present an algorithm for solving the discrete logarithm problem in Jacobians of families of plane curves whose degrees in $X$ and $Y$ are low with respect to their genera. The finite base fields $\FF_q$ are arbitrary, but their sizes should not grow too fast compared to the genus. For such families, the group structure and discrete logarithms can be computed in subexponential time of $L_{q^g}(1/3, O(1))$. The runtime bounds rely on heuristics similar to the ones used in the number field sieve or the function field sieve.

Cryptography and Security,Algebraic Geometry
Curves, Jacobians, and Cryptography

Gerhard Frey,Tony Shaska

DOI: https://doi.org/10.48550/arXiv.1807.05270

2018-11-10

Abstract:The main purpose of this paper is to give an overview over the theory of abelian varieties, with main focus on Jacobian varieties of curves reaching from well-known results till to latest developments and their usage in cryptography. In the first part we provide the necessary mathematical background on abelian varieties, their torsion points, Honda-Tate theory, Galois representations, with emphasis on Jacobian varieties and hyperelliptic Jacobians. In the second part we focus on applications of abelian varieties on cryptography and treating separately, elliptic curve cryptography, genus 2 and 3 cryptography, including Diffie-Hellman Key Exchange, index calculus in Picard groups, isogenies of Jacobians via correspondences and applications to discrete logarithms. Several open problems and new directions are suggested.

Algebraic Geometry
The monodromy pairing and discrete logarithm on the Jacobian of finite graphs

Farbod Shokrieh

DOI: https://doi.org/10.1515/JMC.2010.002

2011-07-07

Abstract:Every graph has a canonical finite abelian group attached to it. This group has appeared in the literature under a variety of names including the sandpile group, critical group, Jacobian group, and Picard group. The construction of this group closely mirrors the construction of the Jacobian variety of an algebraic curve. Motivated by this analogy, it was recently suggested by Norman Biggs that the critical group of a finite graph is a good candidate for doing discrete logarithm based cryptography. In this paper, we study a bilinear pairing on this group and show how to compute it. Then we use this pairing to find the discrete logarithm efficiently, thus showing that the associated cryptographic schemes are not secure. Our approach resembles the MOV attack on elliptic curves.

Combinatorics,Cryptography and Security,Algebraic Geometry
On Galois covers of curves and arithmetic of Jacobians

Alexandros Konstantinou,Adam Morgan

2024-07-11

Abstract:We study the arithmetic of curves and Jacobians endowed with the action of a finite group $G$. This includes a study of the basic properties, as $G$-modules, of their $\ell$-adic representations, Selmer groups, rational points and Shafarevich-Tate groups. In particular, we show that $p^\infty$-Selmer groups are self-dual $G$-modules, and give various `$G$-descent' results for Selmer groups and rational points. Along the way we revisit, and slightly refine, a construction going back to Kani and Rosen for associating isogenies to homomorphisms between permutation representations. With a view to future applications, it is convenient to work throughout with curves that are not assumed to be geometrically connected (or even connected); such curves arise naturally when taking Galois closures of covers of curves. For lack of a suitable reference, we carefully detail how to deduce the relevant properties of such curves and their Jacobians from the more standard geometrically connected case.

Number Theory
Diophantine stability for curves over finite fields

Francesc Bars,Joan Carles Lario

2024-09-11

Abstract:We carry out a survey on curves defined over finite fields that are Diophantine stable; that is, with the property that the set of points of the curve is not altered under a proper field extension. First, we derive some general results of such curves and then we analyze several families of curves that happen to be Diophantine stable.

Number Theory
Zeta-functions of Curves over Finite Fields

Kin Wai Chan

2024-05-09

Abstract:Curves over finite fields are of great importance in cryptography and coding theory. Through studying their zeta-functions, we would be able to find out vital arithmetic and geometric information about them and their Jacobians, including the number of rational points on this kind of curves. In this paper, I investigate if it is possible to construct a curve over finite fields of a given genus $g$ whose zeta-function is given as a product of zeta-functions of $g$ elliptic curves, and find out alternative methods if it is not possible. Basically, I look for conditions which those $g$ elliptic curves should satisfy such that their product (of their Jacobians) is isogenous to the Jacobian of a curve of a given genus $g$. Then from this isogenous relationship I can determine the characteristic polynomial of the Frobenius endomorphism of the Jacobian of the new curve and by this characteristic polynomial I can thus determine the zeta-function of this new curve. By using the zeta-functions of curves in the form as generating functions, the number of rational points on curves can even be found out, which may lead to further researches relating to some applications in cryptography, coding theory and even information theory.

Number Theory,Algebraic Geometry
On the Discrete Logarithm Problem for elliptic curves over local fields

Giuseppe Filippone

DOI: https://doi.org/10.48550/arXiv.2304.14150

2023-04-27

Algebraic Geometry

Abstract:The Discrete Logarithm Problem (DLP) for elliptic curves has been extensively studied since, for instance, it is the core of the security of cryptosystems like Elliptic Curve Cryptography (ECC). In this paper, we present an attack to the DLP for elliptic curves based on its connection to the problem of lifting, by using the exponential map for elliptic curves and its inverse over $ \mathbb{Z} / p^k \mathbb{Z} $. Additionally, we show that hyperelliptic curves are resistant to this attack, meaning that these latter curves offer a higher level of security compared to the classic elliptic curves used in cryptography.
On the Finiteness of the Set of Generalized Jacobians with Nontrivial Torsion Points over Algebraic Number Fields

V. P. Platonov,V. S. Zhgoon,G. V. Fedorov

DOI: https://doi.org/10.1134/s106456242360063x

2024-02-01

Doklady Mathematics

Abstract:For a smooth projective curve defined over an algebraic number field k , we investigate the finiteness of the set of generalized Jacobians of associated with modules defined over such that a fixed divisor representing a class of finite order in the Jacobian J of provides the torsion class in the generalized Jacobian . Various results on the finiteness and infiniteness of the set of generalized Jacobians with the above property are obtained depending on the geometric conditions on the support of , as well as on the conditions on the field k . These results are applied to the problem of the periodicity of a continued fraction expansion constructed in the field of formal power series for special elements of the field of functions of the hyperelliptic curve .

mathematics
Algebraic algorithms for vector bundles over curves

Mickaël Montessinos

DOI: https://doi.org/10.1142/s0219498826500210

2024-10-18

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. In this paper, we represent vector bundles over a regular algebraic curve as pairs of lattices over the maximal orders of its function field and we give polynomial time algorithms for several tasks: computing determinants of vector bundles, kernels and images of global homomorphisms, isomorphisms between vector bundles, cohomology groups, extensions, and splitting into a direct sum of indecomposables. Most algorithms are deterministic except for computing isomorphisms when the base field is infinite. Some algorithms are only polynomial time if we may compute Hermite forms of pseudo-matrices in polynomial time. All algorithms rely exclusively on algebraic operations in function fields. For applications, we give an algorithm enumerating isomorphism classes of vector bundles on an elliptic curve, and to construct algebraic geometry codes over vector bundles. We implement all our algorithms into a SageMath package.

mathematics, applied
A Torelli theorem for curves over finite fields

Fedor Bogomolov,Mikhail Korotiaev,Yuri Tschinkel

DOI: https://doi.org/10.48550/arXiv.0802.3708

2008-02-26

Abstract:We study hyperbolic curves and their Jacobians over finite fields in the context of anabelian geometry.

Algebraic Geometry,Number Theory
Counting Solutions to Discrete Non-Algebraic Equations Modulo Prime Powers

Abigail Mann

DOI: https://doi.org/10.48550/arXiv.1608.05882

2016-08-21

Abstract:As society becomes more reliant on computers, cryptographic security becomes increasingly important. Current encryption schemes include the ElGamal signature scheme, which depends on the complexity of the discrete logarithm problem. It is thought that the functions that such schemes use have inverses that are computationally intractable. In relation to this, we are interested in counting the solutions to a generalization of the discrete logarithm problem modulo a prime power. This is achieved by interpolating to p-adic functions, and using Hensel's lemma, or other methods in the case of singular lifting, and the Chinese Remainder Theorem.

Number Theory,Cryptography and Security
Densities for Elliptic Curves over Global Function Fields

Chaoqun Li,Jianqiang ZhaoU

2023-01-01

Abstract: Let $K$ be a global function field. Using Haar measures, we compute the densities of the Kodiara types and Tamagawa numbers of elliptic curves over a completion of $K$. Also, we prove results about the number of iterations of Tate's algorithm that are completed when the algorithm is used on elliptic curves over a completion of $K$.
Translating the discrete logarithm problem on Jacobians of genus 3 hyperelliptic curves with $(\ell,\ell,\ell)$-isogenies

Song Tian

DOI: https://doi.org/10.1007/s00145-021-09401-3

2020-07-07

Abstract:We give an algorithm to compute $(\ell,\ell,\ell)$-isogenies from the Jacobians of genus three hyperelliptic curves to the Jacobians of non-hyperelliptic curves. An important application is to reduce the discrete logarithm problem in the Jacobian of a hyperelliptic curve to the corresponding problem in the Jacobian of a non-hyperelliptic curve.

Algebraic Geometry,Cryptography and Security
Computing nonsurjective primes associated to Galois representations of genus $2$ curves

Barinder S.Banwait,Armand Brumer,Hyun Jong Kim,Zev Klagsbrun,Jacob Mayle,Padmavathi Srinivasan,Isabel Vogt

2023-07-10

Abstract: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 on $\ell$-torsion points of $A$ is not maximal. Building on work of Dieulefait, we give a practical algorithm to compute this finite set. The key inputs are Mitchell's classification of maximal subgroups of $\mathrm{PSp_4}(\mathbb{F}_\ell)$, sampling of the characteristic polynomials of Frobenius, and the Khare--Wintenberger modularity theorem. The algorithm has been submitted for integration into Sage, executed on all of the genus~$2$ curves with trivial endomorphism ring in the LMFDB, and the results incorporated into the homepage of each such curve.

Number Theory
Computing Galois representations and equations for modular curves $X_H(\ell)$

Maarten Derickx,Mark van Hoeij,Jinxiang Zeng

DOI: https://doi.org/10.48550/arXiv.1312.6819

2014-03-18

Abstract:We construct plane models of the modular curve $X_H(\ell)$, and use their explicit equations to compute Galois representations associated to modular forms for values of $\ell$ that are significantly higher than in prior works.

Number Theory
On Mordell-Weil groups of Jacobians over function fields

Douglas Ulmer

DOI: https://doi.org/10.48550/arXiv.1002.3310

2011-02-18

Abstract:We study the arithmetic of abelian varieties over $K=k(t)$ where $k$ is an arbitrary field. The main result relates Mordell-Weil groups of certain Jacobians over $K$ to homomorphisms of other Jacobians over $k$. Our methods also yield completely explicit points on elliptic curves with unbounded rank over $\Fpbar(t)$ and a new construction of elliptic curves with moderately high rank over $\C(t)$.

Number Theory,Algebraic Geometry
Enumerating hyperelliptic curves over finite fields in quasilinear time

Everett W. Howe

2024-06-21

Abstract:We present an algorithm that, for every fixed genus $g$, will enumerate all hyperelliptic curves of genus $g$ over a finite field $k$ of odd characteristic in quasilinear time; that is, the time required for the algorithm is $\widetilde{O}(q^{2g-1})$, where $q=\#k$. Such an algorithm already exists in the case $g=2$, thanks to work of Mestre and Cardona and Quer, and in the case $g=3$, thanks to work of Lercier and Ritzenthaler. Experimentally, it appears that our new algorithm is about two orders of magnitude faster in practice than ones based on their work.

Number Theory
Open image computations for elliptic curves over number fields

David Zywina

2024-09-29

Abstract:For a non-CM elliptic curve $E$ defined over a number field $K$, the Galois action on its torsion points gives rise to a Galois representation $\rho_E: Gal(\overline{K}/K)\to GL_2(\widehat{\mathbb{Z}})$ that is unique up to isomorphism. A renowned theorem of Serre says that the image of $\rho_E$ is an open, and hence finite index, subgroup of $GL_2(\widehat{\mathbb{Z}})$. In an earlier work of the author, an algorithm was given, and implemented, that computed the image of $\rho_E$ up to conjugacy in $GL_2(\widehat{\mathbb{Z}})$ in the special case $K=\mathbb{Q}$. A fundamental ingredient of this earlier work was the Kronecker-Weber theorem whose conclusion fails for number fields $K\neq \mathbb{Q}$. We shall give an overview of an analogous algorithm for a general number field and work out the required group theory. We also give some bounds on the index in Serre's theorem for a typical elliptic curve over a fixed number field.

Number Theory

Discrete logarithms in curves over finite fields

An $L (1/3)$ Discrete Logarithm Algorithm for Low Degree Curves

Curves, Jacobians, and Cryptography

The monodromy pairing and discrete logarithm on the Jacobian of finite graphs

On Galois covers of curves and arithmetic of Jacobians

Diophantine stability for curves over finite fields

Zeta-functions of Curves over Finite Fields

On the Discrete Logarithm Problem for elliptic curves over local fields

On the Finiteness of the Set of Generalized Jacobians with Nontrivial Torsion Points over Algebraic Number Fields

Algebraic algorithms for vector bundles over curves

A Torelli theorem for curves over finite fields

Counting Solutions to Discrete Non-Algebraic Equations Modulo Prime Powers

Densities for Elliptic Curves over Global Function Fields

Translating the discrete logarithm problem on Jacobians of genus 3 hyperelliptic curves with $(\ell,\ell,\ell)$-isogenies

Computing nonsurjective primes associated to Galois representations of genus $2$ curves

Computing Galois representations and equations for modular curves $X_H(\ell)$

On Mordell-Weil groups of Jacobians over function fields

Enumerating hyperelliptic curves over finite fields in quasilinear time

Open image computations for elliptic curves over number fields