10.07.2015 Views

here - Sites personnels de TELECOM ParisTech - Télécom ParisTech

here - Sites personnels de TELECOM ParisTech - Télécom ParisTech

here - Sites personnels de TELECOM ParisTech - Télécom ParisTech

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

228 Résumé longLa caractérisation ci-<strong>de</strong>ssus n’est pas satisfaisante : elle implique un nombre exponentiel <strong>de</strong>sommes exponentielles. Avant <strong>de</strong> pouvoir décrire <strong>de</strong> meilleures caractérisations dans la sous-sectionsuivante, définissons différents objets mathématiques classiques.Les premiers sont les sommes <strong>de</strong> Kloosterman binaires. Ce sont les valeurs <strong>de</strong> la transformée<strong>de</strong> Walsh–Hadamard <strong>de</strong> la fonction inverse.Définition 2.2 (Somme <strong>de</strong> Kloosterman). La somme <strong>de</strong> Kloosterman associée à a ∈ F 2 n estK n (a) = 1 + ∑(−1) Trn 1 (ax+ x) 1 .x∈F ∗ 2 nLes seconds les polynômes <strong>de</strong> Dickson binaires.Définition 2.3 (Polynôme <strong>de</strong> Dickson [179]). Le polynôme <strong>de</strong> Dickson <strong>de</strong> <strong>de</strong>gré r sur F 2 [X] estD r (X) =⌊ r 2 ⌋ ∑i=0rr − i( r − ii)X r−2i , r ≥ 2 .Enfin, nous aurons besoin d’un certain nombre <strong>de</strong> résultats sur les courbes algébriques. Unecourbe elliptique E est une courbe algébrique lisse <strong>de</strong> genre 1 donnée par une équation <strong>de</strong>Weierstraß [244, Section III.1]E : y 2 + a 1 xy + a 3 y = x 3 + a 2 x 2 + a 4 x + a 6 .Deux telles courbes sont tracées dans les Figures 5 et 6. Une propriété fondamentale est que lesFigure 5 – La courbe elliptique E :y 2 = x 3 − 2xFigure 6 – La courbe elliptique E :y 2 = x 3 − 2x + 2points rationnels d’une courbe elliptique forment un groupe. La loi d’addition est illustrée dans laFigure 7.Si une courbe elliptique est définie sur un corps fini F q , il est toujours possible <strong>de</strong> parler <strong>de</strong>son nombre <strong>de</strong> points rationnels. Calculer efficacement ce nombre <strong>de</strong> points est un problèmemathématique difficile. Cette quantité s’exprime en fonction <strong>de</strong> la trace t <strong>de</strong> l’endomorphisme <strong>de</strong>Frobenius :#E = q + 1 − t .Un théorème classique borne cette trace.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!