Préversion · conception examinée dans le code
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.
L’intégrité exige des traces fiables et un moyen de les contester. SEVA dispose de contrôles dans le code pour les préserver ; vérification complète et ancrages opérationnels de confiance restent à établir.
Une référence de configuration scellée
La configuration possède une empreinte canonique ; les gestionnaires de bulletins comparent les requêtes au sceau enregistré. Cela peut repérer une configuration périmée, sans remplacer les tests d’application de chaque règle, transition et style de bulletin autorisé.
Traces chaînées et ajout uniquement
Les composants d’audit et de publication lient les entrées avec SHA-256. Des règles de base refusent modifications et suppressions ordinaires des bulletins. Ces mécanismes rendent des altérations détectables par rapport à des repères fiables, sans créer un registre à consensus public ni supprimer tout pouvoir privilégié.
Comptabilisation des jetons à usage unique
La transaction de vote enregistre un nullifiant dérivé du jeton avec une clé unique par élection, puis ajoute le bulletin. Un jeton dépensé est refusé. Ce contrôle doit être complété par des tests d’éligibilité, d’émission concurrente, de remplacement de carte et des procédures du personnel.
Artefacts signés et contrôles indépendants
Des composants Ed25519 identifient les artefacts signés et vérifient des manifestes. Une signature ne prouve pas la justesse d’un dépouillement. Le vérificateur Go intégré reste incomplet ; publication de confiance, validation des preuves et rapprochement indépendant sont nécessaires.
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.