Recherche et concepts de vérification
Comprendre les idées. Examiner les preuves.
Explications de recherche sur l’architecture électorale contrôlée de SEVA et les limites des preuves actuelles.
Ces thèmes expliquent des concepts et questions de revue. Modules et protections prévues ne sont ni audit indépendant ni certification. SEVA reste en préversion et impropre aux élections réelles.
Séparation d’identité et justificatifs aveuglés
Le modèle sépare éligibilité supervisée et bulletin, avec des primitives d’émission de jetons aveuglés. Examinez intégration, temps, journaux et appareils : une primitive ne prouve pas la non-corrélation complète.
Chiffrement et autorité des trustees
Le code comprend des primitives de chiffrement et de seuil visant à répartir le déchiffrement. Examinez cérémonies, garde des clés et défaillances sans affirmer une vérification indépendante du processus entier.
Validité et choix de déposer ou auditer
Ces concepts visent une construction vérifiable du bulletin sans révéler un vote déposé. Distinguez tests de primitives, intégration du kiosque, papier et parcours de vérification exercé indépendamment.
Papier et rapprochement
Le papier forme une limite de preuve qui exige garde et procédures humaines. Un écran de reçu ou une fonction d’export ne démontre pas une chaîne complète ou une méthode d’audit certifiée.
Registres et cycle contrôlé
Le code possède modèles de chaîne de hachage et cycle, avec absence de sortie réseau prévue en Open ou Paused. Ils ne prouvent pas seuls contrôle global des accès, pare-feu ou résilience.
Maturité et validations ouvertes
Intégration du vérificateur, tests adverses, simulations, restaurations et revues externes restent déterminants. Distinguez honnêtement recherche et source des résultats démontrés ou vérifications encore incomplètes.
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.