Un audit non è un riconteggio
Le due espressioni vengono usate in modo intercambiabile, ma indicano strumenti diversi per compiti diversi. Un riconteggio riconta tutte le schede — una ripetizione completa, di norma attivata da un margine molto ristretto o da una contestazione formale. Un audit è il controllo più leggero e di routine: esamina una parte del registro cartaceo per confermare che il risultato dichiarato sia corretto, prima della certificazione, indipendentemente dal fatto che qualcuno lo contesti o meno.
Si può pensare alla differenza tra un controllo sanitario e un intervento chirurgico. L’audit è il controllo che si esegue ogni volta, per prassi; il riconteggio è l’intervento a cui si ricorre solo se il controllo rileva un problema. Un audit ben progettato è ciò che decide se sia necessario un riconteggio — invece di attendere che una disputa politica ne imponga uno.
L’audit a limitazione del rischio
La forma più efficace è l’audit a limitazione del rischio (RLA), e la sua idea centrale è davvero ingegnosa: il numero di schede da contare manualmente dipende dal margine, non dalla dimensione dell’elettorato.
Perché? Perché l’audit verifica un esito, non ogni singolo numero. Se un candidato ha vinto con dieci punti di vantaggio, solo un errore enorme e sistematico potrebbe aver invertito il vincitore reale — e un errore di tale entità emergerebbe con ogni probabilità anche in un piccolo campione casuale. Se la competizione è stata decisa da poche schede, l’audit estrae automaticamente molte più schede. Il risultato è un’efficienza notevole: un’elezione con molti milioni di voti può spesso essere confermata contando a mano solo poche centinaia di schede cartacee.
Che cosa può dimostrare un audit
Un RLA ha esattamente due possibili esiti, ed entrambi sono utili:
- Conferma. Il campione è coerente con il vincitore dichiarato al livello di confidenza prestabilito, quindi l’audit si interrompe e l’esito è confermato.
- Escalation. Il campione non è coerente, quindi l’audit si amplia — e, se il dubbio persiste, si estende fino a un riconteggio manuale completo.
Si noti ciò che un audit non afferma: non certifica che ogni singolo conteggio sia impeccabile. Certifica che l’esito è corretto con il livello di certezza dichiarato. Questo è al tempo stesso onesto e sufficiente — ciò che va difeso è chi ha vinto, e con quale margine.
Audit e le contestazioni a cui rispondono
L’utilità concreta degli audit emerge quando si confrontano con le accuse di frode. Dopo il 2020, si diffuse l’affermazione che le macchine per il voto nella contea di Antrim, Michigan, avessero invertito i voti. Le autorità risposero con un conteggio manuale delle schede cartacee. Il controllo manuale confermò il risultato delle macchine, e un errore iniziale di trasmissione dei dati — corretto rapidamente — fu dimostrato essere umano, non fraudolento.
Questo è il modello da interiorizzare. Un audit trasforma un «le macchine sono state hackerate» non falsificabile in una domanda concreta e verificabile: la carta corrisponde? Questo è l’equivalente, in termini di salvaguardia, della disciplina descritta in come verificare un’affermazione — sostituire una sensazione con un test. E dove una mera anomalia statistica può solo sollevare una domanda, un audit può effettivamente rispondervi.
Gli audit richiedono la carta
Nulla di tutto ciò funziona senza un registro fisico da confrontare. Un audit confronta il risultato elettronico con un registro cartaceo indipendente; se si elimina la carta, non c’è nulla da auditare. Ecco perché le due salvaguardie sono in realtà un’unica idea in due parti: la carta crea la prova, e l’audit la legge. Insieme sono ciò che consente a un’elezione di affermare, in modo credibile, abbiamo verificato — ed ecco come potete verificare anche voi.