• Media type: E-Article
  • Title: On the discrete logarithm problem for plane curves
  • Contributor: DIEM, Claus
  • Published: Institut de mathématiques de Bordeaux, 2012
  • Published in: Journal de Théorie des Nombres de Bordeaux, 24 (2012) 3, Seite 639-667
  • Language: English
  • ISSN: 1246-7405; 2118-8572
  • Origination:
  • Footnote:
  • Description: Dans cet article, on étudie le problème du logarithme discret dans le groupe de classes de degré 0 des courbes données par des modèles plans sur des corps finis. Dénotons le cardinal du corps de base d'une telle courbe par q. Il est prouvé que l'expérance du temps de résolution du problème du logarithme discret pour des courbes non-hyperelliptiques de genre 3 (donnée par des modèles plans de degré 4) est de Õ(q) avec un algorithme convenable. En outre, pour chaque entier naturel fixé d ≥ 4 on a le résultat suivant. Considérons le problème du logarithme discret pour les courbes données par des modèles plans de degré d pour lesquels il existe une droite qui définit un diviseur sur la courbe constitué de d points 𝔽q-rationnels distincts. Alors, il y a un algorithme pour lequel l'espérance du temps de résolution du problème est de $\tilde O\left( {{q^{2 - \frac{2}{{d - 2}}}}} \right)$. Cela vaut en particulier pour les courbes données par des modèles plans réflexifs. In this article the discrete logarithm problem in degree 0 class groups of curves over finite fields given by plane models is studied. It is proven that the discrete logarithm problem for non-hyperelliptic curves of genus 3 (given by plane models of degree 4) can be solved in an expected time of Õ(q), where q is the cardinality of the ground field. Moreover, it is proven that for every fixed natural number d ≥ 4 the following holds: We consider the discrete logarithm problem for curves given by plane models of degree d for which there exists a line which defines a divisor which splits completely into distinct 𝔽q-rational points. Then this problem can be solved in an expected time of $\tilde O\left( {{q^{2 - \frac{2}{{d - 2}}}}} \right)$. This holds in particular for curves given by reflexive plane models.
  • Access State: Open Access