Эстония опубликовала исходный код своего онлайн-голосования, а HN спорил, может ли код доказать, что голос учтён
У Эстонии есть публичный репозиторий IVXV, системы, на которой проходят юридически значимые онлайн-выборы. Спор шёл о том, что читаемый код может и чего не может доказать избирателю.
Репозиторий содержит весь стек: голосование, административный инструмент сборщика, процессор, аудитора, верификацию и интеграции с идентификацией, например Smart-ID и Web eID. Для активной разработки он не используется, но синхронизируется с тем, что развёрнуто на выборах.
Эстонский житель говорит, что доверяет системе сегодня, и боится дня, когда это доверие уйдёт.
Что содержит публичный репозиторий
valimised/ivxv существует, по собственным словам, чтобы сделать исходный код эстонской системы онлайн-голосования доступным для публичной проверки. Папки верхнего уровня охватывают поток голосования и выбора, порядок голосов, административный инструмент и процессор сборщика, аутентификацию через Smart-ID и Web eID, аудитора и компонент верификации. В README сказано, что репозиторий не предназначен для активной разработки, но его поддерживают в актуальном состоянии, чтобы опубликованный код совпадал с тем, что используется на выборах; разработку контролирует Государственная избирательная служба. На странице не описано, как работает верификация.
Тайное голосование и проверяемость тянут в разные стороны
«Требования тайного голосования… и полная проверяемость, которую вы запрашиваете, взаимно исключают друг друга.» — комментатор, отвечающий на просьбу предъявить доказательство
Эта формулировка задала условия всей дискуссии. Другой комментатор возразил криптографией: если голос подписан приватным ключом ID-карты, то последующая независимая проверка может выявить подмену, даже когда машина для голосования скомпрометирована.
Цель — согласие, а не доказательство
«Цель выборов не в том, чтобы получить научно или математически проверяемо правильный результат. Цель — получить приемлемое для всех согласие.» — atoav, фанат криптографии и разработчик аппаратуры
Его довод в пользу бумаги: доверие к ней распределено так, что любой взрослый может проверить его сам. Этого не даст ни один программный аудит, каким бы умным он ни был.
Взгляд изнутри системы
«Сейчас, когда люди доверяют правительству, эта система отличная… Но я очень боюсь дня, когда это доверие разрушится.» — эстонский житель, который голосует онлайн
Он добавил, что когда доверие уйдёт, может уже не иметь значения, аналоговый подсчёт или цифровой: люди будут не доверять обоим. Другой комментатор выразил разрыв цифрами: инженеры могут убедить себя, изучив систему, а остальные 90 % населения так поступить не могут.
Получайте такие разборы каждый день
Главные истории Hacker News — на email, в Telegram или RSS.
Исследование семаглутида: эпигенетическое старение замедлилось на 9 %, но авторы говорят, что это не делает людей моложе
Исследователи из UC San Diego заново проанализировали плацебо-контролируемое испытание и обнаружили, что люди на еженедельном семаглутиде стареют медленнее по эпигенетическим часам, которые измеряют метилирование ДНК. В выборке было 108 взрослых с жировыми отложениями на животе, связанными с ВИЧ.