Vote Coin Protocol предлагает аудит бумажных бюллетеней на Cardano

Michael Twigg представил Vote Coin Protocol на Cardano Forum 1 октября и пригласил к техническому обзору предлагаемой системы голосования с бумажными бюллетенями. Опубликованный проект охватывает процедуры выборов, меры защиты конфиденциальности и планы тестирования. Он не сертифицирован и не внедрен.

Бумажные бюллетени и публичный аудитный след в Cardano

Vote Coin Protocol предлагает очное голосование с публичным аудитным следом для отдельных бюллетеней. Подтвержденные избирателями бумажные бюллетени остаются основой для определения результатов выборов.

Избиратели просматривают распечатанные бюллетени перед опусканием их в урну. Отдельный сканер считывает распечатанные отметки и сравнивает их с цифровой записью устройства.

Каждая запись получает отпечаток SHA-256, объединенный с секретным случайным значением, что затрудняет вывод содержимого бюллетеня по отпечатку.

Отпечатки из нескольких бюллетеней объединяются в дерево Merkle. Его корень суммирует партию и позволяет проверять включение отдельной записи. Этот корень закрепляется в Cardano, при этом выбранные варианты, имена и персональная информация остаются вне цепочки.

Квитанция позволяет избирателю проверить, появился ли отпечаток его бюллетеня в закрепленной партии. Это подтверждает включение записи, а итоговые результаты как и прежде формируются на основе бумажных бюллетеней.

Vote Coin фиксирует использование избирательного права

Изначальная модель выпускает по одному нативному токену Cardano для каждого зарегистрированного избирательного права. Токены остаются заблокированными на адресе валидатора Plutus, их расходование ограничено разрешенными сжиганиями.

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

Избирателям не требуется криптокошелек, они не оплачивают комиссий за транзакции. Бюджет выборов покрывает комиссии в ADA. ADA, заблокированная вместе с токеном, возвращается избирательной комиссии при его сжигании.

Индивидуальные сжигания токенов предлагаются для первых двух пилотных фаз. Начиная с третьей фазы, использованные метки учетных данных будут появляться в пакетных записях, закрепленных через их криптографические корни. Голосование остается локальным, публикация в блокчейне происходит после этого, что позволяет отложить якорение при перегрузке сети.

Запрошены обзор Plutus и измерения в тестовой сети

Twigg попросил разработчиков Cardano изучить валидатор только для сжигания, оценки нагрузки на блокчейн и размер транзакции сжигания. В его сообщении на форуме отдельно запрошены измерения в тестовой сети для проверки допущений документа.

Публичный репозиторий включает белую книгу, разобранные примеры и скрипты проверки на Python. Эти скрипты пересчитывают отпечатки бюллетеней, доказательства включения Merkle и оценочную нагрузку на сеть с использованием иллюстративных бюллетеней и заявленных параметров Cardano.

Опубликованные проверки покрывают вычисления документа. Запрошенные измерения по сети касаются фактического размера транзакций и поведения валидатора.

Если после регистрации возникнет несоответствие, проект требует исправить цифровую запись так, чтобы она соответствовала проверенному избирателем бумажному бюллетеню, а также публично зафиксировать различие.