Безопасность, анонимность и верифицируемость

В традиционном бумажном голосовании парадокс решается физически: вы опускаете запечатанный конверт в урну (условие анонимности), а комиссия вскрывает урну и считает бумаги при наблюдателях (условие проверяемости).

В ДЭГ возникает парадокс: как доказать избирателю, что его голос учтен именно так, как он хотел (верифицируемость), но при этом не дать ему возможности доказать это кому-то еще, чтобы исключить покупку голосов? Ответ за эту задачу кроется в использовании E2E верификации ((End-to-End Verifiability).

Данный тип верификации проходит на двух уровнях:
1) Индивидуальная проверяемость: после отправки голоса система выдает избирателю уникальный криптографический код (хеш). Избиратель может зайти на публичный портал и найти свой зашифрованный бюллетень в общем списке, убедившись, что он не потерялся и не был изменен.
2) Универсальная проверяемость: независимые аудиторы и наблюдатели могут с помощью математических алгоритмов проверить, что итоговая сумма расшифрованных голосов в точности равна количеству валидных зашифрованных бюллетеней, записанных в блокчейн. При этом сами голоса в процессе проверки не раскрываются.
Задача разработчиков ДЭГ - сделать стоимость и сложность успешной кибератаки многократно превышающими потенциальную выгоду от фальсификации, а также дать обществу математические инструменты для независимой проверки результатов