Penso che l'alta corte tedesca abbia risolto il problema molto bene:
Verificabilità
La corte costituzionale tedesca governata su qualsiasi tipo di dispositivo di voto:
The usage of voting devices [...], is in compliance with the constitutional requirements only, if the essential steps of the voting and counting can be verified reliably and without expert knowledge.
Il verdetto è stato motivato da un caso sui computer tradizionali di voto, ma la sentenza è più generale: i computer votanti consistono in una tastiera e un display. L'elettore preme la chiave per la festa di sua scelta. Il voto verrà visualizzato e l'elettore deve confermarlo.
Ma non c'è modo in cui un votante può verificare che il partito che ha selezionato e visto sullo schermo sia il partito per il quale conta il suo voto. Il governo ha cercato di sostenere che i computer elettorali erano stati verificati da un'istituzione ufficiale e sigillati per impedire manipolazioni.
Ma la corte ha chiarito molto chiaramente che "verificato dagli esperti" non è abbastanza buono, per soddisfare i requisiti delle elezioni democratiche.
Nota: non fa alcuna differenza se la votazione viene eseguita utilizzando un computer per il voto straniero o un computer di proprietà dell'elettore: Le persone non sono in grado di verificare che il proprio computer funzioni correttamente . Ciò inizia già a comprendere un software di votazione open source, ma naturalmente questo va giù fino al microcodice all'interno dell'hardware .
Anonimato e non dimostrabilità
La decisione riguardava solo la verificabilità da parte di non esperti. Ovviamente qualsiasi soluzione a questo problema, non deve violare gli altri requisiti delle elezioni democratiche.
Ad esempio, è possibile verificare i voti pubblicando un elenco completo di tutti gli elettori con indirizzi e voti. Ma le elezioni democratiche richiedono anonimato per proteggere gli elettori e non-dimostrabilità per impedire la vendita di voti.
Ci sono alcuni concetti intelligenti di non pubblicare le informazioni per tutti da vedere, ma consentendo comunque all'elettore di verificare il suo voto. Ma questi concetti sono non facilmente comprensibili dalle persone medie a causa della complessa matematica dietro di esso. Quindi siamo di nuovo al punto di partenza.
Inoltre non possono soddisfare allo stesso tempo non provibility e provability . Ma se non permettono a qualcuno di dimostrare, che il suo voto non è stato conteggiato come avrebbe dovuto essere, è abbastanza probabile che un numero di persone chiamerà la frode dopo ogni elezione.