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.
SparkGlim SEVA · Préversion
Un modèle de sécurité à examiner.
Lisez les composants examinés avec leurs lacunes et travaux prévus. SEVA n’a aucune garantie globale de sécurité ou préparation électorale.
Lisez les composants examinés avec leurs lacunes et travaux prévus. SEVA n’a aucune garantie globale de sécurité ou préparation électorale.
Sécurité
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.
Rendre les traces examinables.
Comment configuration scellée, traces chaînées, signatures et contrôles de rejeu structurent le modèle d’intégrité prévu de SEVA.
Séparer l’identité du bulletin.
Examinez la séparation prévue des identités et bulletins, les justificatifs aveugles, la conservation et les limites de confidentialité de SEVA.
La sécurité inclut le terrain.
Évaluez les limites des appareils, opérateurs, transports et restaurations avant de prévoir un environnement électoral supervisé.
Distinguer cryptographie et assurance
Les implémentations cryptographiques existent. Preuves d’artefacts et vérification du dépouillement sont incomplètes ; leur présence ne garantit pas l’intégrité globale.
Évaluer la confidentialité du parcours
La séparation d’identité est un objectif. Services, journaux, horaires et appareils doivent être examinés avant d’affirmer l’impossibilité de relier bulletin et électeur.
Examiner matériel et opérations
N’annoncez pas HSM, FIDO2, WORM matériel ou isolation universelle comme achevés depuis une architecture prévue. Seules les preuves réelles déterminent les affirmations.
É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.
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.