Description
Nous présentons un algorithme à la Kedlaya pour compter les points de recouvrements cycliques $y^r = f(x)$ défini sur un corps fini de caractéristique $p$ ne divisant pas $r$, et avec $r$ et le degré de $f$ non nécessairement premiers entre eux.<br/> Cet algorithme généralise l'algorithme de Gaudry et Gürel pour les courbes superelliptiques à une classe de courbe plus générale, avec essentiellement la même complexité.<br/> De plus, nous apportons quelques améliorations pratiques telles que la simplification de l'algorithme en exploitant l'automorphisme de la courbe, des bornes sur la précision plus fine, ainsi qu'une pseudo-base de la cohomologie de Monsky--Washnitzer qui permet d'avoir une matrice à coefficients entiers lorsque $p > 2r$.<br/> Toutes ces améliorations peuvent de plus être appliquées à l'algorithme de Gaudry et Gürel.<br/> Nous présenterons en outre des applications numériques pour des recouvrements cycliques de grand genre.
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