Description
Dans cet exposé je présenterai deux méthodes différentes pour la construction des équations des courbes non-hyperelliptiques de genre $3$ provenant des facteurs Q-simples A_f principalement polarisés de J(X_0(N)), où X_0(N) repésente la courbe modulaire associée à Gamma_0(N)$. La première méthode, qui ne s'applique qu'aux courbes modulaires, est basée sur le calcul du morphisme canonique des courbes non hyperelliptiques de genre 3 en utilisant des relations algébriques entre éléments d'une base integrale de l'espace S_2 (A_f) des cusp forms. Ces courbes admettent tous des modèles définis sur Q avec des petits coefficients. L'autre méthode est basée sur la résolution explicite du problème de Torelli en dimension 3 : A partir d'une variété abélienne A=C^3 /(Z^3+W Z^3) donnée par sa matrice de périodes W dans H_3 et provenant de la Jacobienne d'une courbe non hyperelliptique de genre 3, trouver l'équation d'un bon modèle de cette courbe (à isomorphisme près).
Next sessions
-
Oblivious Transfer from Zero-Knowledge Proofs (or how to achieve round-optimal quantum Oblivious Transfer without structure)
Speaker : 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
-