Никто не обязан проверять подсчет
После того как машины пересчитают голоса, кто-то должен вручную проверить партию реальных бумажных бюллетеней, чтобы подтвердить, что машина считала правильно. Если закон не требует такую проверку, неправильный подсчет может остаться незамеченным.
Видео-объяснение скоро
60 секунд простого объяснения этой уязвимости.
Что произошло на самом деле
Исследователи избирательной целостности Mark Lindeman и Philip Stark формализовали концепцию "аудита с ограничением риска" (RLA): метод, при котором вручную проверяется ровно столько случайно выбранных бумажных бюллетеней, чтобы дать высокую статистическую уверенность в том, что указанный победитель правильный. Когда проверки необязательны, слабые (固定ный крошечный процент) или пропущены, такая уверенность просто не существует.
Проверка собственной работы
Представьте ученика, который сам проверяет свой тест и сообщает результат. Может быть, он честен. Может быть, он ошибся. Единственный способ узнать — это дать кому-то другому перепроверить несколько ответов.
Избирательная машина тоже сообщает собственный результат. Проверка (аудит) — это независимая перепроверка: возьмите партию реальных бумажных бюллетеней, пересчитайте их вручную и сравните с тем, что сказала машина. Умная версия — аудит с ограничением риска — проверяет ровно столько случайных бюллетеней, чтобы быть уверенным в победе правильного кандидата, а затем останавливается.
Почему это важно
Подсчет бумаги вручную — это доказательство. Но бумажный след помогает только если его требуется использовать. Когда проверки необязательны, проводятся "по запросу" или установлены на символический фиксированный процент, неправильный результат — от сбоя или от манипуляций — может быть утвержден без того, чтобы кто-то когда-либо открыл урны для голосования.
Обязательный, хорошо спроектированный аудит превращает "доверьте машине" в "проверьте машину".
Как TrustVoting решает эту проблему
Каждый голос оставляет проверенную избирателем бумажную запись, и система спроектирована для аудитов с ограничением риска — поэтому бумага всегда может быть проверена в сравнении с подсчетом машины на определенном уровне уверенности.
Как TrustVoting её устраняет
TrustVoting создает проверенную избирателем бумажную запись для каждого бюллетеня и построен для поддержки аудитов с ограничением риска, поэтому подсчет машины всегда может быть проверен против реальной бумаги на определенном уровне уверенности.