Когда нечего пересчитывать на бумаге
Если единственная запись вашего голоса живёт внутри компьютера, то нечего независимо пересчитывать, когда что-то выглядит неправильно. Бумажная запись, которую вы можете увидеть и проверить, — это то, что делает реальный пересчёт или аудит вообще возможными.
Видео-объяснение скоро
60 секунд простого объяснения этой уязвимости.
Что произошло на самом деле
Федеральный конституционный суд Германии отклонил электронное голосование без бумаги в 2009 году, постановив, что все существенные этапы выборов должны быть открыты для общественной проверки "без специальных знаний". Суд указал на видимую избирателем бумажную запись как способ удовлетворить этому требованию — потому что числа, которые существуют только внутри компьютера, не могут быть независимо проверены.
Как обстоит дело сегодня
Хорошие новости здесь: эта уязвимость теперь редкая — около 98% голосов на выборах в США в 2024 году были поданы на бумаге, поэтому цифра выше низкая. Но там, где остаются машины без бумаги, пересчитывать всё ещё нечего, и конституционный принцип (Германия 2009) — действующее право в Европе. Цифра отражает действующее законодательство.
Что именно пересчитывать?
Если ваш голос существует только как число внутри компьютера, то когда результат выглядит неправильно, нечего независимо проверить. Вы остаётесь с необходимостью переспрашивать тот же компьютер, который изначально выдал это число.
Подтвержденный избирателем бумажный документ — бумага, которую вы можете увидеть и подтвердить перед голосованием — это физический источник истины, который находится вне программного обеспечения. Это то, что делает пересчёт или значимый аудит вообще возможными.
Почему это важно
Федеральный конституционный суд Германии отклонил электронные машины для голосования без бумаги в 2009 году, постановив, что все существенные этапы выборов должны быть открыты для общественной проверки "без специальных знаний", и указал на подтвержденный избирателем бумажный документ как на способ соответствовать этому стандарту. Числа, заключённые в компьютер, не могут быть независимо проверены.
Как TrustVoting закрывает эту уязвимость
Каждый бюллетень оставляет подтвержденный избирателем бумажный документ — источник истины вне машины — так что пересчёт или риск-лимитирующий аудит всегда имеет что-то реальное для проверки против.
Как TrustVoting её устраняет
TrustVoting создаёт подтвержденный избирателем бумажный документ для каждого бюллетеня — физический источник истины, который существует вне компьютера, так что пересчёт или риск-лимитирующий аудит всегда имеет что-то реальное для проверки против машины.