Vote Électronique
Ultra-Sécurisé
Projet académique explorant un système de vote basé sur El Gamal et les preuves DDH
Objectifs du Projet
Étude et implémentation des concepts cryptographiques avancés pour le vote électronique
Vérifiabilité
Comprendre comment implémenter un système où chaque vote peut être vérifié sans compromettre l'anonymat des électeurs.
Cryptographie Avancée
Maîtriser l'implémentation du chiffrement El Gamal et des preuves DDH dans un contexte pratique de vote électronique.
Dépouillement Homomorphe
Apprendre à exploiter les propriétés homomorphes pour permettre le comptage sécurisé sans révéler les votes individuels.
Méthodologie Implémentée
Un processus en 4 étapes étudié dans le cadre du cours de cryptographie
Génération de Clés
Étude de la génération des paramètres cryptographiques El Gamal
Vote Chiffré
Implémentation du processus de chiffrement homomorphe des votes
Preuve DDH
Étude et implémentation des preuves à divulgation nulle DDH
Dépouillement
Application pratique des propriétés homomorphes pour le dépouillement
Démonstration Interactive
Explorez le processus de vote sécurisé étape par étape
Génération des Clés Cryptographiques
Étude de la génération des paramètres cryptographiques El Gamal
Paramètres du Système
Clé Publique Distribuée
Distribution de la clé publique aux participants du système
Vote et Chiffrement Homomorphe
Implémentation du processus de chiffrement homomorphe
Choisissez votre candidat :
Alice Dubois
Parti Progressiste
Bob Martin
Coalition Centriste
Charlie Léon
Mouvement Écologique
Preuve DDH (Decisional Diffie-Hellman)
Étude et implémentation des preuves à divulgation nulle
Principe de la Preuve OR
Protocole de Chaum-Pedersen
Dépouillement Homomorphe
Application des propriétés homomorphes au dépouillement
Agrégation des Votes Chiffrés
Votes collectés :
Propriété homomorphe :
E(a) ⊕ E(b) = E(a + b)
Le produit des chiffrés = chiffré de la somme
Calcul du Résultat
Architecture du Système
L'infrastructure distribuée conçue pour ce projet académique
Couche Client
Interface Utilisateur
Application Spring responsive pour voter et vérifier
Cryptographie Client
Chiffrement local des votes avec El Gamal
Couche Réseau
Communication Sockets
Transmission sécurisée en temps réel
Protocoles TLS
Chiffrement transport avec certificats
Couche Serveur
Backend Java
Traitement cryptographique et validation
Base PostgreSQL
Stockage sécurisé et réplication
Fondements Cryptographiques
Les concepts mathématiques étudiés et implémentés dans ce projet
Chiffrement El Gamal
Système asymétrique basé sur le problème du logarithme discret, offrant des propriétés homomorphes multiplicatives essentielles.
Preuves DDH
Protocoles à divulgation nulle basés sur Decisional Diffie-Hellman pour prouver la validité sans révéler le contenu.
Homomorphisme
Permet d'effectuer des opérations sur les données chiffrées directement, essentiel pour le dépouillement anonyme.
Stack Technologique
Les technologies utilisées pour l'implémentation de ce projet
Java
Backend & Crypto
Spring
Interface utilisateur
Sockets
Communication réseau
PostgreSQL
Base de données
Docker
Conteneurisation
Apprentissages du Projet
Ce projet académique a permis d'approfondir la compréhension des enjeux cryptographiques du vote électronique et l'implémentation pratique des concepts théoriques.