Description
Etant donnee une courbe (absolument irreductible, lisse, projective) de genre g sur un corps fini k, les questions du type : "quel peut etre son nombre maximal de points rationnels ? Quel peut etre son polynome du Frobenius ? Ou de maniere equivalente : quelles sont les classes d'isogenie de varietes abeliennes de dimension g sur k qui contiennent la jacobienne d'une courbe ?" sont d'importance, theoriques et pratiques. Nous verrons que les recherches sur ces questions suivant le cheminement naturel g=1,2 puis 3 font apparaitre successivement de nouveaux obstacles theoriques (et pas seulement calculatoires). Nous ferons en particulier le point sur une obstruction decouverte par Serre dans le cas du genre 3 non-hyperelliptique.
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
-