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
Une élection demande plus qu’un écran.
Découvrez la conception SEVA examinée dans les sources pour des élections locales supervisées. Elle reste en préversion et ne convient encore à aucune élection.
Éligibilité et accueil
Séparer les responsabilités. Valider le parcours complet.
Expression et chiffrement du vote
Clôturer, rapprocher et examiner
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é.
Les élections formelles ont un autre modèle opérationnel.
Séparer les responsabilités. Examiner les liens.
Explorez le modèle Master et Kiosk prévu, les services locaux, la séparation des données et les limites actuelles de vérification.
Découvrir SEVAVous cherchez le vote public pour des prix ?
SparkGlim Awards & Digital Voting possède ses propres campagnes, nommés et parcours de paiement. SEVA est évalué séparément pour les élections institutionnelles supervisées.
SparkGlim Awards & Digital VotingUn objectif distinct
SEVA concerne les opérations électorales contrôlées. Récompenses publiques, votes payants et collectes utilisent d’autres produits SparkGlim.
Des responsabilités distinctes
L’architecture sépare configuration, éligibilité, vote, autorités et examen des preuves. Chaque frontière nécessite des tests d’intégration.
Comprendre l’existant
Des composants cryptographiques existent dans les sources. Vérification des preuves d’artefacts et du dépouillement reste incomplète ; les schémas ne prouvent pas l’ensemble.
Commencer par un échange technique
Seules les équipes Sécurité et Technique SparkGlim autorisent l’accès opérationnel. Une consultation n’approuve ni déploiement ni 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é.
Processus
Un cycle électoral avec des décisions explicites.
Préparer l’élection
Définissez gouvernance, lieux, éligibilité et preuves avec les équipes autorisées.
Attribuer rôles et dispositifs
Séparez administration, accueil, kiosque, dépositaires et supervision.
Examiner la liste électorale
Résolvez éligibilité, doublons et exceptions supervisées avant la participation.
Configurer et sceller le bulletin
Examinez scrutins, candidats, ordre et choix autorisés avec l’autorité électorale.
Autoriser l’ouverture
L’ouverture est une décision d’autorité supervisée après examen, pas un bouton public de lancement.
Choisir, vérifier, déposer ou auditer
Le parcours prévu sépare le bulletin déposé du bulletin ouvert pour audit.
Superviser et gérer les incidents
Examinez participation et alertes opérationnelles ; excluez les totaux par candidat de la vue de vote.
Clôturer et rapprocher
Arrêtez la participation et rapprochez preuves papier, dispositifs et opérations selon la procédure de l’autorité.
Examiner les résultats autorisés
Les composants des dépositaires et du dépouillement soutiennent le processus prévu après clôture. La vérification indépendante complète reste inachevée.
Préserver les preuves et examiner
Définissez garde, conservation, accès des observateurs et restauration avant tout déploiement envisagé.
Préversion
Un aperçu fidèle de l’application.
La borne appartient à une conception supervisée. Sources et captures ne prouvent pas une application publiée et prête pour une élection.
Institutions
Commencer par les responsabilités de l’élection.
Un scénario d’évaluation, pas un déploiement approuvé.
Une élection étudiante commence par l’éligibilité.
Évaluer la représentation étudiante par les listes, la revue du bulletin et la participation supervisée.
Une élection associative exige une gouvernance responsable.
Préparer les élections d’organisation sans les confondre avec collectes de fonds ou votes de popularité.
Une élection interne nécessite un mandat défini.
Évaluer des élections internes avec autorité, éligibilité et responsabilités de preuve claires.
Une élection institutionnelle dépasse l’écran de vote.
Évaluer la représentation dans l’éducation par l’autorité, les opérations contrôlées et l’accessibilité.
L’adhésion est une décision d’éligibilité, pas une connexion.
Évaluer les élections d’associations avec responsabilité des listes et participation supervisée.
Plusieurs juridictions. Un modèle local contrôlé.
Évaluer les besoins entre lieux sans promettre vote internet à distance ni approbation réglementaire.
É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.