Sciences du logiciel - Xavier Leroy Séminaire - Pierrick Gaudry : Outils cryptographiques pour le vote électronique
Nov 13, 2025
Découvrez les enjeux passionnants du vote électronique avec Pierrick Gaudry. Il explique les preuves zero-knowledge, essentielles pour garantir le secret et la vérifiabilité du vote. Apprenez le fonctionnement des protocoles comme Belenios et Helios, ainsi que des techniques avancées comme le déchiffrement semi-homomorphe. Il aborde également les défis de l'interaction avec la transformation Fiat–Shamir et les perspectives futures, notamment l'importance des SNARKs dans un monde post-quantique. Un aperçu fascinant de la cryptographie moderne!
AI Snips
Chapters
Transcript
Episode notes
Séparer Secret Et Vérifiabilité
- Le secret du vote et la vérifiabilité sont des objectifs distincts et souvent concurrents dans le vote électronique.
- On formalise ces propriétés en choisissant quels composants sont honnêtes pour réduire les hypothèses de confiance.
Naissance De Bélenios
- Bélenios est né pour corriger et adapter Helios au contexte français, incluant le vote blanc et l'interface en français.
- Le système a été déployé en pratique pour des élections universitaires et d'institutions comme le Collège de France.
Publier Preuves Et Clés Sur Le Board
- Publiez sur un tableau d'affichage public toutes les clés et preuves nécessaires pour que chacun puisse vérifier le déroulement.
- Exigez des ZKP pour la formation des bulletins et des signatures individuelles afin d'éviter le bourrage d'urne et les chiffrages mal formés.