Projet universitaire · Java · Spring
Vote El Gamal
Comment vérifier un vote sans révéler les choix individuels ?
Un projet universitaire de vote chiffré en Java et Spring, avec le chiffrement El Gamal et des preuves à connaissance zéro. Le sujet : vérifier les bulletins et décompter les suffrages sans révéler les choix.
En bref
- Cadre
- Projet universitaire
- Technologies
- Java · Spring
- Chiffrement
- El Gamal
- Preuves
- Preuves à connaissance zéro
Contexte du projet
Un projet universitaire développé avec Java et Spring, autour de deux exigences : préserver les choix individuels et permettre la vérification des bulletins et du décompte.
Un schéma pédagogique
Confidentialité des choix
Le chiffrement El Gamal est au cœur du sujet de confidentialité des choix.
Vérification des bulletins
Une preuve à connaissance zéro permet de démontrer une propriété sans révéler le secret utilisé.
Décompte
Compter les suffrages sans rendre publics les choix individuels.
01 · Chiffrer sans exposer les choix
Le chiffrement protège le contenu d’un bulletin. Le projet étudie El Gamal pour aborder la confidentialité des choix dans un système de vote.
02 · Vérifier les bulletins
La vérification ne doit pas obliger à révéler le vote. Les preuves à connaissance zéro permettent d’étudier cette séparation entre une propriété à vérifier et les informations qui doivent rester privées.
03 · Décompter sans révéler les choix
Le décompte s’intéresse au résultat collectif, plutôt qu’à la publication de chaque choix. Le sujet du projet associe ce résultat à la vérification des bulletins, sans exposer les votes individuels.