Description
Dans cet exposé, nous présentons un algorithme de comptage de points qui repose sur le calcul de certains cup-produits. Notre algorithme se fonde, comme l'algorithme de Kedlaya, sur le calcul de la matrice de l'action d'un Frobenius semi-linéaire sur le premier groupe de cohomologie d'une courbe. Cependant, notre algorithme a l'avantage de pouvoir s'appliquer à une classe très générale de courbes. Pour ce faire, nous avons introduit trois nouvelles techniques :<br/> - une procédure pour calculer explicitement des relèvements du Frobenius relatif en toute généralité,<br/> - le calcul de la matrice du Frobenius au moyen de calculs de résidus, ce qui évite des manipulations généralement coûteuses de 1-formes,<br/> - une technique de relèvement local du Frobenius pour améliorer la performance de notre algorithme. Ce travail a été réalisé en collaboration avec Amnon Besser et Rob de Jeu.
Prochains exposés
-
Polytopes in the Fiat-Shamir with Aborts Paradigm
Orateur : Hugo Beguinet - ENS Paris / Thales
The Fiat-Shamir with Aborts paradigm (FSwA) uses rejection sampling to remove a secret’s dependency on a given source distribution. Recent results revealed that unlike the uniform distribution in the hypercube, both the continuous Gaussian and the uniform distribution within the hypersphere minimise the rejection rate and the size of the proof of knowledge. However, in practice both these[…]-
Cryptographie
-
Primitive asymétrique
-
Mode et protocole
-
-
Post-quantum Group-based Cryptography
Orateur : Delaram Kahrobaei - The City University of New York