@Pierre R :

La différence entre la machine à voter et tout autre système informatique vérifié est l’exigence de secret, qui empêche la vérifiabilité du résultat.

Pour reprendre l’exemple des transactions banquaires : il n’y a jamais de secret entre une banque et son client, donc la banque peut toujours confirmer les transactions, et rendre des comptes au client. Si la banque ne le fait pas, le client pourra (essayer d’)attaquer, et en tout cas saura à quoi s’en tenir vis à vis de cette banque.

Pour les machines à voter, personne ne peut rendre de comptes, vu que personne n’est censé savoir ce que tu as voté. Ainsi, jamais tu ne sauras si ton vote est pris en compte ou pas. C’est là qu’il faut admirer l’ingéniosité du vote papier+urne, où le votant peut se rendre des comptes à lui-même !