Préversion · conception examinée dans le code
La cryptographie, avec des limites claires.
Comprenez les primitives de chiffrement et de partage entre dépositaires de SEVA, ainsi que les vérifications encore nécessaires avant une élection.
SEVA contient des composants de chiffrement des bulletins et de dépouillement sous contrôle des dépositaires. Une primitive fonctionnelle ne suffit pas : protocole complet, appareils et artefacts publiés exigent encore une validation indépendante.
Choix chiffrés
Le code implémente ElGamal exponentiel sur Ristretto255. Chaque chiffré contient deux points de courbe ; points et scalaires sont encodés sur 32 octets. Un aléa cryptographique nouveau chiffre chaque choix. Cette longueur ne signifie pas une sécurité de 256 bits.
Preuves de structure des bulletins
Des primitives de preuve Chaum–Pedersen contrôlent les choix binaires et une somme déclarée. Leur transcript Fiat–Shamir utilise SHA-512 avec séparation de domaines. Relier ces contrôles au bon scrutin scellé et à ses choix autorisés nécessite une intégration supplémentaire.
Un seuil de dépositaires
Les composants de génération distribuée produisent des parts polynomiales, vérifient les engagements et traitent les contestations. Le déchiffrement combine les contributions par interpolation de Lagrange. Le seuil est configurable ; trois sur cinq est un exemple de test, pas une règle universelle ni une preuve de garde matérielle.
Agrégation avant déchiffrement
L’addition homomorphe peut combiner les totaux chiffrés avant récupération des valeurs. Le code comprend récupération bornée et combinaison des dépositaires. Validation des preuves, intégration des cérémonies et tests représentatifs restent nécessaires pour un dépouillement public vérifié indépendamment.
Ce qui manque à la vérification indépendante
Le vérificateur d’artefacts Go séparé ne réalise pas encore la vérification complète des preuves et du dépouillement. Revue cryptographique externe, vecteurs Rust/Go communs et parcours électoral entièrement testé restent à réaliser. Mixnet, classement et candidats libres ne sont pas des capacités livrées.
La sécurité dépend de l’implémentation complète, d’opérations de confiance et de preuves examinées. Aucune certification ni aucun audit indépendant n’est revendiqué.
Demander une consultation
Définir le périmètre avant l’engagement
Évaluation uniquement. Ne convient encore à aucune élection réelle. Le déploiement et l’exploitation exigent les équipes Sécurité et Techniques autorisées de SparkGlim.
Le contexte national oriente la consultation. Il n’établit ni autorisation locale, ni conformité réglementaire, ni disponibilité du produit.