Enseigner les preuves à divulgation nulle sur des chiffrements sans prérequis d'arithmétique
Résumé
Les preuves à divulgation nulle sont des outils cryptographiques théoriques puissants ayant de nombreuses applications concrètes. Elles sont notamment utilisées dans les protocoles de vote électronique et certaines crypto-monnaies. Cependant, leur utilisation en cryptographie nécessite un bagage théorique conséquent, ce qui peut rebuter les étudiants issus de filières techniques. Dans cet article, nous présentons des preuves à divulgation nulle sur des chiffrements ne nécessitant aucune connaissance particulière en cryptographie, à l'exception du concept de chiffrement à clé publique. Il n'est donc pas nécessaire de connaître le fonctionnement interne du chiffrement utilisé pour les comprendre. Nous présentons aussi une approche pédagogique basée sur l'utilisation de boîtes cadenassées pour expliquer de façon intuitive le fonctionnement de nos preuves. Cette approche permet d'aborder immédiatement et sans prérequis des applications très concrètes, comme par exemple le vote électronique.
Domaines
Cryptographie et sécurité [cs.CR]
Origine : Fichiers produits par l'(les) auteur(s)