Composants examinés dans le code
Cryptographie des bulletins
Le code comprend ElGamal exponentiel sur Ristretto255, addition homomorphe et combinaison à seuil. Sa présence ne prouve pas la sécurité complète du parcours électoral.
Préversion · conception examinée dans le code
La préparation se prouve, sans date promise.
Distinguez composants examinés, lacunes d’intégration et de tests, et travaux futurs de SEVA, sans dates de sortie promises.
SEVA est en préversion. Cette feuille de route sépare ce qui est examinable, ce qui reste à démontrer et ce qui est prévu. Aucun stade n’autorise une élection réelle et ne remplace l’acceptation institutionnelle.
État de préparation
Éléments probants et limites
L’examen du code confirme l’existence d’un composant. Il ne prouve ni une assurance de sécurité indépendante, ni des essais de déploiement achevés, ni l’autorisation d’organiser une élection.
Composants examinés dans le code
Primitives de preuve et de dépositaires
Les preuves Chaum–Pedersen, contrôles primitifs de la somme des sélections et composants de génération distribuée de clés ont des tests dans le code. Ils n’ont pas été exécutés pendant cet audit du site.
Composants examinés dans le code
Frontières d’éligibilité et d’identifiants
L’émission d’identifiants aveugles et le stockage des nullifiants utilisés existent dans le code. L’identité, la réémission et les accueils simultanés exigent encore des tests d’intégration.
Composants examinés dans le code
Règles explicites du cycle
La machine à états limite les transitions et interdit les sorties réseau dans Open et Paused. Sessions, cérémonies et réseau doivent être validés ensemble.
Composants examinés dans le code
Registres séparés et chaînes d’audit
Des droits de base par rôle et des composants de registre chaînés par hachage soutiennent la séparation des tâches. Hôtes, garde, journaux et restauration restent dans le modèle de menace.
Tests d’intégration nécessaires
Vérification indépendante des résultats
Le vérificateur d’artefacts n’achève pas encore les contrôles intégrés de preuves de bulletins et de dépouillement. Son résultat ne constitue pas une assurance électorale complète.
Tests d’intégration nécessaires
Identité des opérateurs et garde des clés
Des adaptateurs d’authentification, de signature et de clés matérielles existent, mais leur intégration opérationnelle reste inachevée. Aucune garantie universelle FIDO2, HSM non exportable ou biométrique n’est revendiquée.
Tests d’intégration nécessaires
Répétitions du déploiement et des preuves
Verrouillage matériel, impression et garde, restauration, élections simulées intégrées et revue externe nécessitent des preuves d’acceptation. Les procédures et noms de modules ne sont pas une certification.
Prévu ou en développement
Conditionnement Master et Kiosk
L’orientation vers deux applications installées est proposée. Les sources regroupent encore plusieurs interfaces et exécutables ; un déploiement publié à deux applications n’est pas établi.
Prévu ou en développement
Technologies de bulletin supplémentaires
Le mélange cryptographique et les scénarios de classement ou de vote libre restent différés. Un indicateur de fonctionnalité ou une feuille de route ne prouve pas un protocole ou un bulletin pris en charge.
Composants examinés dans le code
Le code examiné comprend primitives de chiffrement et de preuve, justificatifs aveugles, seuils, traces chaînées et contrôles locaux. Des tests unitaires sont définis. Cette revue ne les a pas exécutés et n’établit pas de version validée indépendamment ; présence et fonctionnement vérifié sont des niveaux distincts.
Intégration et tests encore nécessaires
Compléter vérification indépendante, identité durable et autorisation des dépositaires. Démontrer règles scellées, émission concurrente, restauration et transitions authentifiées. Répéter ensuite sur matériel réel, avec rapprochement papier et participants supervisés, avant une décision d’acceptation indépendante.
Le prévu n’est pas une capacité livrée
La direction Master/Kiosk à deux applications exige encore intégration cohérente et acceptation. Mixnet, classement et candidats libres restent différés ; un nom de fonctionnalité ne prouve pas un autre moteur de courbe. Toute évolution exige revue, vecteurs de test et décision de prise en charge explicite.
Critères d’acceptation encore ouverts
Revues externes de cryptographie et sécurité, répétitions représentatives et validations opérationnelles sont nécessaires. Aucune certification, revue indépendante achevée, élection déployée ou date n’est annoncée. Demandez une évaluation des besoins et preuves ; elle ne vaut pas approbation électorale.
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.