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
Interaction Et Hasard Pour Vérifier Plus Que NP
- Les preuves interactives étendent NP en ajoutant interaction et hasard pour vérifier des appartenances difficiles à prouver directement.
- La zero-knowledge permet de reproduire la distribution des échanges sans connaître le secret, garantissant la confidentialité du témoin.
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.
Sigma Protocols: Soundness Et Simulation
- Les protocoles Sigma (ex. Schnorr) offrent à la fois soundness et propriété zero-knowledge via simulation du challenge aléatoire.
- La notion d'honest-verifier zero-knowledge suffit souvent en pratique pour des applications d'authentification anonyme.