Description
L'exposé portera sur la méthode trouvée il y a une quinzaine années par le conférencier pour calculer le nombre de points rationnels d'une courbe elliptique sur un corps fini. Il évoquera aussi les développements postérieurs (Atkin, Elkies, Satoh, Kedlaya, Mestre,...).
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
-