1: \begin{abstract}

2: We describe a provably quasi-polynomial algorithm to compute discrete logarithms in the multiplicative groups of finite fields of small characteristic, that is finite fields whose characteristic is logarithmic in the order. We partially follow the heuristically quasi-polynomial algorithm presented by Barbulescu, Gaudry, Joux

3: and Thom\'e. The main difference is to use a presentation of the finite field based on elliptic curves: the abundance of elliptic curves ensures the existence of such a presentation. 

4: % Our approach is different from   

5: % This idea has been independently developed by Kleinjung and Wesoloski Our approach is different from theirs, while we have a finite small set of traps, allowing for more uniformity in the algorithm.

6: 	

7: \noindent Keywords: discrete logarithm, finite fields, elliptic curves, quasi-polynomial, algebraic curves.\\

8: %\noindent 2010 Mathematical Subject Classification: ?? %14G05, 11G30.

9: \end{abstract}

10: