Mais
qui contrôle les programmes de contrôle ?... En théorie un ordinateur
rigoureusement contrôlé me semble possible, mais on est loin de savoir
le faire en pratique.
Si on se base sur des protocoles de contrôle très simples (genre des CRC) j’imagine volontiers que si le logiciel de base est open source, on verra foisonner sur internet des programmes de contrôle à télécharger gratuitement et à mettre sur clé USB et à glisser dans la fente juste avant de voter. Le citoyen lambda peut alors vérifier que la machine n’est pas falsifiée (par contre je vous l’accorde il ne peut pas grand chose si elle l’est)