Cette démonstration suit le résultat d'un bureau de vote, de la fiche papier jusqu'à votre écran. Elle montre comment chaque téléphone dans la salle repère un chiffre modifié en chemin.
Le soir de l'élection, un résultat peut changer après le dépouillement. Un chiffre est ressaisi, une base de données est modifiée, un fichier est remplacé. Aujourd'hui, personne ne peut le prouver. Le parti voit un chiffre, la page publiée en montre un autre, et c'est une parole contre une autre.
Awa est agente de bureau de vote à Serekunda 12. Les candidats A, B et C sont fictifs.
Awa et les observateurs comptent les bulletins : A 312, B 241, C 19. Elle signe la fiche de résultats papier.
Elle saisit les trois chiffres dans l'application agent et photographie la fiche. Son téléphone scelle les chiffres et la photo avec sa propre clé. Aucun réseau n'est nécessaire. Dans un vrai déploiement, cette clé est enfermée dans la puce sécurisée du téléphone ; dans cette démonstration, l'application agent est une page web.
Quand le réseau revient, le téléphone envoie la fiche scellée. Si quelqu'un change un chiffre en chemin, le sceau ne correspond plus.
Un second agent du même bureau envoie les mêmes chiffres. Deux fiches concordent : le résultat du bureau est confirmé.
La page des résultats affiche Serekunda 12 avec 312, 241 et 19, et la photo de la fiche. Chaque fiche scellée entre aussi dans un journal public, un relevé qui ne peut que s'allonger.
Chaque téléphone dans la salle ouvre le vérificateur. Il télécharge les fiches scellées et refait l'addition, sur le téléphone lui-même. Il ne demande pas le total au serveur. Quand ses chiffres correspondent aux fiches scellées, il passe au vert.
La démonstration joue deux attaques en direct, comme pourrait le faire quelqu'un de l'intérieur.
Nous changeons B à Serekunda 12 de 241 à 290 dans la base de données derrière la page des résultats. La page affiche maintenant 290. À sa vérification suivante, chaque vérificateur passe au rouge et nomme le bureau : Serekunda 12. La fiche scellée dit toujours 241.
Ensuite, nous réécrivons le journal public lui-même pour qu'il dise 290. Chaque nouvel état du journal doit porter la signature d'un témoin indépendant, un second serveur qui garde une copie de tout ce qu'il a signé. Le témoin voit que l'historique a changé et refuse. Sans sa signature, chaque vérificateur passe au rouge.
À la fin, la page des preuves les montre côte à côte : la fiche scellée par Awa, avec 241, et l'entrée falsifiée, avec 290.
Voici les adresses utilisées pendant l'appel.
| Adresse | Qui l'ouvre | Ce qu'elle montre |
|---|---|---|
tally.fellwin.sn | Tout le monde | La page des résultats : le décompte au fil de l'arrivée des fiches. |
verify.tally.fellwin.sn | Tout le monde, sur son propre téléphone | Le vérificateur : il refait l'addition des fiches scellées et passe au vert, à l'orange ou au rouge. |
tally.fellwin.sn/agent | Le présentateur seulement | L'application agent d'Awa, simulée dans une page web. |
tally.fellwin.sn/console/ | Le présentateur seulement, avec un mot de passe | Les consoles qui pilotent la démonstration et jouent les deux attaques. |
witness.tally.fellwin.sn | Personne | Le témoin indépendant. Il n'a pas de page : il signe ou il refuse, c'est tout. |
Une démonstration dit ses limites. Voici celles qu'un expert peut nommer.