Sciences du logiciel - Xavier Leroy Séminaire - Michele Orrù : Des preuves zero-knowledge à l'anonymat en ligne
Dec 11, 2025
Michele Orrù, chercheur au CNRS et spécialiste des preuves zéro-knowledge, explore des sujets d'actualité sur la cryptographie et l'anonymat. Il explique comment les preuves zéro-knowledge peuvent garantir la confidentialité sans révéler d'informations sensibles. Orrù détaille les applications pratiques pour les lanceurs d'alerte et les systèmes de paiement anonymes. Il aborde aussi comment des protocoles comme Fiat–Shamir et des techniques récursives améliorent la vérification et l'anonymat dans les transactions. Une plongée fascinante dans la cryptographie moderne!
AI Snips
Chapters
Transcript
Episode notes
La Clef De Chambre Comme Mauvaise Authentification
- Michele raconte l'exemple d'une serrure d'hôtel qui demande la clé privée pour illustrer l'absence d'anonymat.
- Envoyer directement la clé privée rend le système vulnérable au clonage et à l'usurpation.
Fiat‑Shamir Et Les Attaques D'état
- La transformation Fiat-Shamir rend non-interactifs des protocoles interactifs en remplaçant le vérificateur par un oracle aléatoire.
- Cette transformation soulève des attaques trans-sessions (state restoration) qu'il faut modéliser et protéger.
Arguments Computationnels Pour Efficacité
- En pratique on préfère les arguments (preuves à borne computationnelle) car ils permettent d'insérer la cryptographie et d'accélérer la vérification.
- On peut baser des preuves puissantes sur des primitives simples comme des fonctions de hachage ou des one‑way functions.