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
-
Oblivious Transfer from Zero-Knowledge Proofs (or how to achieve round-optimal quantum Oblivious Transfer without structure)
Orateur : Léo Colisson - Université Grenoble Alpes
We provide a generic construction to turn any classical Zero-Knowledge (ZK) protocol into a composable oblivious transfer (OT) protocol (the protocol itself involving quantum interactions), mostly lifting the round-complexity properties and security guarantees (plain-model/statistical security/unstructured functions…) of the ZK protocol to the resulting OT protocol. Such a construction is unlikely[…]-
Cryptography
-