Как работи

Една бюлетина. Проверима от началото до края.

Проследете един глас от ръката на гласоподавателя до резултат, който всеки по света може да провери отново. Четири зони, едно правило: хартиената бюлетина е истината, а данните напускат машината само на запечатан, подписан носител, който човек носи на ръка — никога през мрежа.

1

Гласувано по желание

Виждате и проверявате собствената си отпечатана хартиена бюлетина, преди да влезе в урната.

2

Записано така, както е гласувано

Хартиената бюлетина е самият запис. Машината само я чете и брои.

3

Преброено така, както е записано

Всеки сбор е цифрово подписан и може да бъде проверен спрямо хартията от всеки.

Пътят на бюлетината

Четете отляво надясно. Забележете какво липсва: нито една линия не се връща обратно към машина за гласуване и нищо не докосва интернет чак до самия край.

Как да четем тази диаграма

Хартия — първичният източник на истината
Цифрови / подписани данни
Публично и проверимо от всеки
Тайно или запечатано (вашата бюлетина, ключовете)
Въздушна бариера — данните преминават само върху ръчно пренасяни, подписани носители
→Еднопосочно — публикуването никога не може да изпрати команда в обратна посока
Пътят на бюлетината
0Публичен код

Софтуер, който всеки може да провери

Преди изборите софтуерът се изгражда открито, за да могат експертите да потвърдят кода, който ще брои гласовете.

  1. 1Публични, възпроизводими компилации — всеки може да изгради същия софтуер и да получи същия цифров отпечатък.
  2. 2Всяка версия е цифрово подписана от няколко упълномощени лица (Сертификат за гаранция на софтуера).

◆ Подписана версия на софтуера + цифров отпечатък на компилацията

✓ Изградете от изходния код; проверете дали отпечатъкът съвпада

Въздушна бариера — данните преминават само върху ръчно пренасяни, подписани носители
1Въздушна бариера — без мрежа

Изборният участък

Тук гласувате. Всяка машина е запечатана, защитена от подправяне и напълно офлайн.

  1. 1Регистрация: служител в секцията потвърждава, че имате право да гласувате, и издава еднократен жетон за бюлетина.
  2. 2Отбелязване: устройството за попълване на бюлетини отпечатва хартиена бюлетина, която можете да прочетете и проверите.
  3. 3Проверка и пускане: потвърждавате, че хартиената бюлетина е вярна, и я пускате в урната.
  4. 4Броене: скенерът чете хартията и поддържа подписана, защитена от подправяне текуща сума.

◆ Хартиена бюлетина в урната + подписани общи суми от устройствата

✓ Всяка бюлетина съществува на хартия, независимо от каквато и да е машина

Хартиена бюлетина в урната + подписани общи суми от устройствата⟶ one-way
2Офлайн

Областна / Регионална администрация

Запечатаните резултати се донасят на ръка тук, проверяват се, сумират се и се заверяват.

  1. 1Внасяне: запечатаните носители от всеки участък пристигат с документирана верига на съхранение.
  2. 2Проверка: всеки подпис на устройство и всеки сертификат се проверяват, преди да бъде преброена дори една цифра.
  3. 3Обобщаване и заверяване: резултатите се събират и официалният резултат се подписва.
  4. 4Публикуване: подготвя се Публичен пакет за проверка за целия свят.

◆ Подписан протокол от преброяването + публичен пакет за проверка

✓ Сами съберете подписаните резултати от секциите

Еднопосочно — публикуването никога не може да изпрати команда в обратна посока⟶ one-way
3Всеки, навсякъде

Публична проверка

Единствената част, която е свързана с интернет — и тя може само да публикува, но никога да управлява каквото и да е.

  1. 1Резултатите, сертификатите и одитните доклади се публикуват открито.
  2. 2Прозрачен журнал, в който могат само да се добавят записи, прави невъзможно тихото промяна на публикувано число.
  3. 3Безплатна програма с отворен код позволява на всеки да провери подписите и сумите.

◆ Публични резултати + доказателства от журнала за прозрачност

✓ Стартирайте отворената програма за проверка — доверете се на математиката, не на посредника

Voting center

Какво представлява едно устройство за гласуване

Всяка машина в центъра е един и същ защитен компютър с единствена цел — създаден да докаже, че не е бил докосван.

Без мрежа, никога

Без Wi-Fi, без Bluetooth, без Ethernet. Данните се прехвърлят само на запечатан носител, пренасян от човек.

Хардуерна защита срещу подправяне

Сензори следят корпуса, портовете и пломбите. При всяко проникване се задейства необратим сигнал и устройството излиза от употреба.

Запечатани ключове (TPM)

Ключовете на машината се отключват само ако софтуерът е непроменен и не е засечено подправяне.

Хартията е документът

Устройството отпечатва бюлетина, която проверявате с очи. Хартията — не екранът — е това, което се брои.

Журнал с верижни хешове за одит

Всяко действие се записва в журнал, в който могат само да се добавят записи и който не може да бъде пренаписан след факта.

Подписване при закриване

При закриване на изборния ден устройството създава един подписан и запечатан пакет за износ — единственото нещо, което изобщо го напуска.

Три роли, една защитена основа

Устройство за регистрация — потвърждава правото на глас и издава жетон за еднократна употреба.

Устройство за маркиране — отпечатва хартиената бюлетина, която проверявате и пускате.

Скенер / брояч — чете хартията и съхранява подписаните резултати.

Как можете да проверите резултата — без да ни се доверявате

Проверимостта означава, че не е нужно да вярвате на думата на никого. Ето какво може да провери независимо всеки гражданин, журналист или партия.

1

Проверете софтуера

Компилирайте публичния изходен код и потвърдете, че отпечатъкът му съвпада с подписаното издание, което е работило на машините.

2

Сравнете броенето с хартията

Хартиените бюлетини са истинският запис. Одитът с ограничаване на риска сравнява произволна извадка от хартия с обявените резултати.

3

Проверете подписите

Изтеглете публичния пакет за проверка и стартирайте безплатната програма с отворен код, за да потвърдите, че всеки резултат е автентично подписан.

4

Убедете се, че не може да се промени

Журналът за прозрачност, в който могат само да се добавят записи, означава, че веднъж публикувано число не може да бъде тихо променено, без всички да го забележат.

Разгледайте колко често се среща всеки пропуск

Вижте как днешните избори се справят с тези гаранции в районите, които сме анализирали.

Същото пътуване, с думи

Описание на диаграмата по-горе на разбираем език, подходящо за екранни четци.

  1. 1

    Преди изборите софтуерът за гласуване се изгражда открито и се подписва цифрово, така че експертите могат да потвърдят точно какво ще работи.

  2. 2

    В изборния център — изцяло офлайн — регистрирате се и получавате жетон за еднократна употреба.

  3. 3

    Машината отпечатва хартиена бюлетина. Прочетете я, уверете се, че е правилна, и я пуснете в урната.

  4. 4

    Скенер брои бюлетините и поддържа подписана, защитена от подправяне текуща сума.

  5. 5

    При затваряне всяка машина създава един подписан и запечатан експортен файл. Той се транспортира на ръка до централата — нищо не се изпраща по мрежата.

  6. 6

    Централата проверява всеки подпис, събира резултатите, удостоверява ги и публикува пакет за обществена проверка.

  7. 7

    Всеки, от всяко място, може да изтегли резултатите и да ги провери с безплатна програма — а хартиените бюлетини остават за одит.