Написано совместно Interfold и Aragon.
Тайное голосование — это базовое требование демократических систем, однако его трудно реализовать в блокчейне без существенных компромиссов.
Все системы конфиденциального голосования в той или иной степени идут на компромисс в отношении доверия или проверяемости. Например, доверенный координатор или доверенная среда выполнения могут обрабатывать конфиденциальные голоса, контролировать расшифровку или определять способ публикации финального результата. Шифрование защищает содержимое отдельных бюллетеней, но само по себе оно не распределяет контроль над тем, как эти бюллетени подсчитываются и как расшифровывается окончательный результат.
Протокол беспристрастного выбора с защитой от принуждения от Interfold, или CRISP, использует иной подход. Участники отправляют зашифрованные голоса, подсчет производится на основе зашифрованных бюллетеней, а после выполнения необходимых пороговых условий расшифровывается только совокупный результат. Отдельные бюллетени остаются конфиденциальными, в то время как результат может быть публично проверен без необходимости полагаться на единственного организатора подсчета голосов.
CRISP теперь доступен в виде реализации на базе Interfold и фреймворка Aragon OSx, что позволяет использовать проверяемые тайные голосования в тестовой сети для организаций на базе Aragon.
Что нового
Конфиденциальные бюллетени с распределенным доверием и общедоступными результатами проверки
Участники отправляют зашифрованные бюллетени, CRISP вычисляет результаты на основе зашифрованных данных, и после соблюдения необходимых пороговых условий расшифровывается только утвержденный совокупный результат. Индивидуальные бюллетени остаются конфиденциальными для других избирателей, администраторов, операторов инфраструктуры и сайфернод.
Распределенный контроль над подсчетом и расшифровкой
Для каждого вычисления Interfold с помощью сортиции выбирает комитет независимых операторов сети, называемых сайфернодами (ciphernodes). Комитет участвует в настройке и пороговой расшифровке для конкретного голосования, поэтому ни один отдельный оператор не может расшифровать бюллетени или обнародовать результат в одностороннем порядке.
Модульная реализация для Aragon OSx
CRISP интегрирован с Aragon OSx через специальный плагин управления. DAO могут добавить его вместе с существующими плагинами OSx, предоставив организациям механизм тайного голосования для принятия решений, в которых индивидуальный выбор должен оставаться конфиденциальным.
Как это работает
CRISP расшифровывается как Coercion-Resistant Impartial Selection Protocol (протокол беспристрастного выбора с защитой от принуждения). Он координирует голосование посредством ограниченного потока выполнения, объединяющего зашифрованные бюллетени, проверяемый подсчет голосов и пороговую расшифровку.
1. Голосование определяет вычисление
При создании тайного голосования его правила определяют допущенных участников, период голосования, доступные варианты выбора, логику подсчета и условия расшифровки результата.
Interfold создает зашифрованную среду выполнения (Encrypted Execution Environment, или E3) для конкретного голосования. Среда E3 существует только на время вычислений. Она принимает зашифрованные бюллетени, применяет заданную логику подсчета и закрывается после предоставления разрешенного результата.
2. Выбирается комитет сайфернод
Для голосования из сети Interfold выбирается комитет независимых сайфернод.
Комитет генерирует общие криптографические материалы, используемые для шифрования бюллетеней и последующей расшифровки результата. Контроль распределен между его участниками, поэтому процесс не зависит от того, владеет ли один оператор полным ключом расшифровки.
3. Участники отправляют зашифрованные бюллетени
Имеющие право на участие пользователи шифруют свой выбор и отправляют его в течение периода голосования.
Голоса остаются зашифрованными на протяжении всего процесса выполнения. Другие избиратели, организация, управляющая голосованием, и отдельные сайферноды не могут просматривать отправленные варианты.
4. Подсчет голосов выполняется на зашифрованных данных
CRISP использует полностью гомоморфное шифрование для выполнения заданного подсчета по зашифрованным бюллетеням.
Многосторонние вычисления и доказательства с нулевым разглашением поддерживают распределенные операции с ключами и верификацию процесса. В совокупности эти механизмы позволяют обрабатывать голосование без раскрытия индивидуальных голосов.
5. Результат становится доступен посредством пороговой расшифровки
После окончания периода голосования и выполнения условий публикации комитет сайфернод выполняет пороговую расшифровку разрешенного результата. После этого финальный подсчет может быть опубликован и проверен, в то время как индивидуальные бюллетени остаются конфиденциальными.
6. Утвержденные действия в блокчейне выполняются с помощью Aragon OSx
Плагин CRISP может быть установлен в DAO на базе Aragon OSx и подключен к ее разрешениям на выполнение действий в блокчейне.
Когда голосование включает исполняемую полезную нагрузку и соответствует требованиям DAO к одобрению, утвержденное действие может быть выполнено через DAO.
Что дальше
Плагин CRISP на базе Aragon — это первое в своем роде решение для тайного голосования.
Дальнейшая работа будет сосредоточена на упрощении развертывания интеграции, расширении рабочих процессов управления, поддерживаемых плагином, и изучении реальных сценариев использования управления.
Начало работы
Реализация тайного голосования доступна в тестовой сети. Пути развертывания в продакшене будут следовать за развертыванием сети Interfold.
Команды, изучающие конфиденциальное голосование или рабочие процессы конфиденциального управления, могут протестировать демо-версию или связаться с Aragon для обсуждения вариантов развертывания.
.png)
