Prečo je papier oporou dôveryhodného sčítania
Opýtajte sa bezpečnostného odborníka na jedinú najdôležitejšiu vec, ktorú môže voľba urobiť, aby bola dôveryhodná, a odpoveďou je zvyčajne jedno slovo: papier. Nie preto, že papier je zastaraný alebo nostalgický, ale preto, že je to jediná časť systému, ktorú hacker alebo softvérová chyba nemôže potichu prepísať. Každá iná záruka — audity, prepočty, súdne spory — sa napokon opiera o to, že existuje fyzický záznam, s ktorým sa dá porovnať.
Logika je jednoduchá. Počítačové sčítanie vás samo osebe žiada, aby ste dôverovali počítaču. Papierový záznam premieňa dôveru na overenie: keďže papier existuje mimo strojov, stroje sa dajú porovnať s ním. Ak papier odstránite, každá nadväzujúca záruka stratí oporu, pretože už neexistuje nič nezávislé, s čím by sa elektronický výsledok dal porovnať.
Tento istý princíp sa tiahne aj cez ako sa hlasy sčítavajú: bezpečnosť vyplýva z vrstiev, ktoré možno skontrolovať, a papier je vrstva, od ktorej závisí všetko ostatné.
Dva druhy papiera
„Papierová stopa“ zahŕňa dve súvisiace, no odlišné veci, a rozdiel je dôležitý:
| Typ | Ako sa hlas zaznamenáva | Overovacia otázka |
|---|---|---|
| Ručne označený papierový hlasovací lístok | Volič označí papier priamo | Prečítal skener značky správne? |
| Zariadenie na označovanie hlasovacích lístkov (BMD) s výtlačkom | Stroj vytlačí voľby voliča na papier | Skontroloval volič, či výtlačok zodpovedá jeho úmyslu? |
Oba môžu poskytnúť spoľahlivú papierovú stopu — ale len vtedy, ak je papier overený voličom. Práve v tom je jadro veci. Výtlačok, ktorý volič len letmo prehliadne alebo ho vôbec nevidí, nie je skutočne overený: chyba alebo manipulácia medzi obrazovkou a papierom by mohla prejsť bez povšimnutia. Záruka funguje len vtedy, ak človek potvrdil, že papier odráža jeho voľbu.
Softvérová nezávislosť
Formálny názov tohto princípu je softvérová nezávislosť: neodhalená chyba alebo porucha v hlasovacom softvéri by nemala byť schopná spôsobiť neodhaliteľnú zmenu výsledku volieb. To zabezpečuje papier. Ak softvér nesprávne spočíta hlasy — v dôsledku chyby alebo útoku — papierový záznam možno spočítať ručne a nezrovnalosť odhaliť.
Tým sa celé obavy typu „čo ak boli stroje napadnuté?“ preformulujú. V systéme bez papiera je táto otázka nezodpovedateľná, a práve preto podkopáva dôveru. V systéme založenom na papieri má konkrétnu odpoveď: spočítajte papier. Odborný konsenzus, vrátane prelomového preskúmania U.S. National Academies, je preto jednoznačný — používať papierové hlasovacie lístky čitateľné pre človeka a postupne vyradiť systémy bez papiera.
Čo papierová stopa umožňuje
Papier nie je samotná záruka; je to to, čo záruky umožňuje. Zabezpečuje:
- Prepočty — opätovné spočítanie fyzických hlasovacích lístkov, keď je rozdiel tesný alebo je výsledok sporný.
- Audity — ručné porovnanie vzorky papiera s oznámenými súčtami s cieľom potvrdiť výsledok.
- Kontroly reťazca úschovy — zosúladenie počtu papierových hlasovacích lístkov s počtom zaznamenaných voličov.
Bez dôveryhodného fyzického záznamu nie je možné nič z toho. Papier je surovina, z ktorej sa robí každá kontrola.
Keď papier chýba
Hodnota papierovej stopy je najzreteľnejšia tam, kde chýba. Dva prípady ukazujú dva spôsoby, ako sa to deje.
- Systémy bez papiera. Tam, kde sa hlasy odovzdávajú v čisto elektronických systémoch, ktoré neuchovávajú žiadny papierový záznam, sporný výsledok nemožno vôbec nezávisle overiť — jednoducho nie je čo prepočítať. Preto je trendom v demokraciách takéto systémy vyraďovať.
- Zadržané záznamy. Papier (alebo jeho ekvivalent) môže existovať a predsa byť skrytý. V Belarus v roku 2020 úrady nezverejnili protokoly na úrovni volebných miestností, takže oficiálny výsledok nebolo možné porovnať s podkladovými záznamami. Papierová stopa, ktorú nikto nesmie preskúmať, neposkytuje žiadnu istotu.
Papierová stopa v praxi
Pozitívny prípad je rovnako konkrétny. Po uzavretí výsledku 2020 v Georgia úradníci vykonali úplné ručné sčítanie každého papierového hlasovacieho lístka. Keďže pre každý hlas existoval papierový záznam overený voličom, ručné sčítanie bolo možné priamo porovnať so strojovým súčtom — a zhodovalo sa v rámci bežnej ľudskej chyby. Papierová stopa premenila výbušné tvrdenie „stroje boli napadnuté“ na otázku s overiteľnou a napokon upokojujúcou odpoveďou.
To je celý zmysel zachovávania papiera. Nepredpokladá, že stroje sú dôveryhodné, ani že nie sú — robí odpoveď overiteľnou v oboch prípadoch. A nástroj, ktorý toto overenie vykonáva efektívne a vo veľkom rozsahu, je volebný audit.