Afficher la notice abrégée

hal.structure.identifierInstitut de Mathématiques de Bordeaux [IMB]
hal.structure.identifierAnalyse cryptographique et arithmétique [CANARI]
hal.structure.identifierLithe and fast algorithmic number theory [LFANT]
dc.contributor.authorPAGE, Aurel
hal.structure.identifierCentre National de la Recherche Scientifique [CNRS]
hal.structure.identifierÉcole normale supérieure de Lyon [ENS de Lyon]
hal.structure.identifierUnité de Mathématiques Pures et Appliquées [UMPA-ENSL]
dc.contributor.authorWESOLOWSKI, Benjamin
dc.date.accessioned2024-04-04T02:33:01Z
dc.date.available2024-04-04T02:33:01Z
dc.date.created2023-10-10
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/190437
dc.description.abstractLe problème Anneau des endomorphismes supersingulier est le suivant : étant donnée une courbe elliptique supersingulière, calculer tous ses endomorphismes. La difficulté supposée de ce problème est une fondation de la cryptographie à base d'isogénies. Le problème Un endomorphisme demande seulement de trouver un seul endomorphisme non scalaire. Nous prouvons que ces deux problèmes sont équivalents, sous une réduction en temps polynomial probabiliste. Nous prouvons plusieurs conséquences. Premièrement, en supposant le problème Anneau des endomorphismes difficile, la fonction de hachage de Charles--Goren--Lauter résiste aux collisions, et le protocole d'identification SQIsign est sain. Deuxièmement, le problème Anneau des endomorphismes est équivalent au problème de calculer des isogénies arbitraires entre courbes elliptiques supersingulières, un résultat qui était auparavant connu uniquement pour les isogénies de degré friable. Troisièmement, il existe inconditionnellement un algorithme probabiliste résolvant le problème Anneau des endomorphismes en temps O~(sqrt(p)), un résultat qui nécessitait de supposer l'hypothèse de Riemann généralisée avant notre travail. Afin de prouver notre résultat principal, nous introduisons un cadre flexible pour l'étude des graphes d'isogénies avec information supplémentaire. Nous prouvons un théorème de mélange rapide qui est général et facile à utiliser. La preuve de ce résultat passe par une version augmentée de la correspondance de Deuring et la correspondance de Jacquet-Langlands.
dc.description.abstractEnThe supersingular Endomorphism Ring problem is the following: given a supersingular elliptic curve, compute all of its endomorphisms. The presumed hardness of this problem is foundational for isogeny-based cryptography. The One Endomorphism problem only asks to find a single non-scalar endomorphism. We prove that these two problems are equivalent, under probabilistic polynomial time reductions. We prove a number of consequences. First, assuming the hardness of the endomorphism ring problem, the Charles--Goren--Lauter hash function is collision resistant, and the SQIsign identification protocol is sound. Second, the endomorphism ring problem is equivalent to the problem of computing arbitrary isogenies between supersingular elliptic curves, a result previously known only for isogenies of smooth degree. Third, there exists an unconditional probabilistic algorithm to solve the endomorphism ring problem in time O~(sqrt(p)), a result that previously required to assume the generalized Riemann hypothesis. To prove our main result, we introduce a flexible framework for the study of isogeny graphs with additional information. We prove a general and easy-to-use rapid mixing theorem. The proof of this result goes via an augmented Deuring correspondence and the Jacquet-Langlands correspondence.
dc.description.sponsorshipCryptographie, isogenies et variété abéliennes surpuissantes - ANR-19-CE48-0008
dc.description.sponsorshipMéthodes pour les variétés abéliennes de petite dimension - ANR-20-CE40-0013
dc.description.sponsorshipPost-quantum padlock for web browser - ANR-22-PETQ-0008
dc.language.isoen
dc.rights.urihttp://creativecommons.org/licenses/by/
dc.subject.enIsogeny-based cryptography
dc.subject.enIsogeny Graphs
dc.subject.enEndomorphism ring
dc.subject.enSupersingular elliptic curves
dc.subject.enDeuring correspondence
dc.subject.enJacquet-Langlands correspondence
dc.titleLes problèmes Anneau des endomorphismes et Un endomorphisme supersinguliers sont équivalents
dc.title.enThe supersingular Endomorphism Ring and One Endomorphism problems are equivalent
dc.typeDocument de travail - Pré-publication
dc.subject.halInformatique [cs]/Cryptographie et sécurité [cs.CR]
dc.subject.halMathématiques [math]/Géométrie algébrique [math.AG]
dc.subject.halMathématiques [math]/Théorie des nombres [math.NT]
dc.identifier.arxiv2309.10432
bordeaux.hal.laboratoriesInstitut de Mathématiques de Bordeaux (IMB) - UMR 5251*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
hal.identifierhal-04209824
hal.version1
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-04209824v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.title=Les%20probl%C3%A8mes%20Anneau%20des%20endomorphismes%20et%20Un%20endomorphisme%20supersinguliers%20sont%20%C3%A9quivalents&rft.atitle=Les%20probl%C3%A8mes%20Anneau%20des%20endomorphismes%20et%20Un%20endomorphisme%20supersinguliers%20sont%20%C3%A9quivalents&rft.au=PAGE,%20Aurel&WESOLOWSKI,%20Benjamin&rft.genre=preprint


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée