NARAD: новая архитектура тайного голосования на Solana с гомоморфным шифрованием

Исследователи представили архитектуру NARAD (Non-colluding Aggregator-oblivious Record-And-Decrypt) для электронного голосования, которая сочетает гомоморфное шифрование Paillier и блокчейн Solana. Этот протокол обеспечивает приватность и проверяемость без единого центра доверия, что делает его поте

Что такое NARAD и как он работает

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

Архитектура разделяет обработку голосов между двумя серверами: коллектором и агрегатором. Коллектор объединяет вспомогательные значения от каждого бюллетеня в один групповой элемент. Агрегатор использует этот элемент для отмены случайных масок в гомоморфном произведении и восстанавливает точную сумму голосов, узнавая итог, но не отдельные бюллетени. Блокчейн Solana используется для неизменяемой записи всех шифротекстов и управления жизненным циклом голосования. Вычисления с тяжелой модульной арифметикой выполняются нативной библиотекой C (libtommath).

Почему гомоморфное шифрование важно для голосования

Гомоморфное шифрование позволяет выполнять вычисления над зашифрованными данными без их расшифровки. В контексте голосования это означает, что можно подсчитать сумму голосов, не раскрывая каждый отдельный бюллетень. NARAD использует схему Paillier, которая поддерживает аддитивную гомоморфность: произведение шифротекстов соответствует сумме открытых текстов. Это позволяет агрегатору получить итоговый результат, не видя индивидуальные голоса.

Как Solana повышает безопасность и производительность

Solana — высокопроизводительный блокчейн, способный обрабатывать тысячи транзакций в секунду. В NARAD он используется для хранения шифротекстов и управления состоянием голосования. Благодаря низким комиссиям и высокой пропускной способности, Solana подходит для масштабных выборов. Протокол использует упаковку битов (bit-packing), что позволяет разместить весь многокандидатный бюллетень в одном шифротексте. Это сокращает нагрузку на клиента, количество транзакций, объем хранилища и время подсчета в k раз (k — число кандидатов). При b = 25 и модуле 255 бит схема поддерживает до 10 кандидатов и до 33,5 млн голосов на кандидата (всего ~335 млн бюллетеней), обрабатывая 50 000 бюллетеней менее чем за секунду.

Какие предположения безопасности лежат в основе NARAD

Безопасность протокола основана на двух криптографических предположениях: Decisional Composite Residuosity (DCR) для аддитивного слоя и предположении Диффи-Хеллмана для маскирующей базы. DCR является стандартным предположением для схемы Paillier и считается трудноразрешимым. Дополнительно, работа коллектора и агрегатора в аттестованных защищенных анклавах (secure enclaves) предотвращает коллюзию между ролями и деанонимизацию. Это означает, что даже если один из серверов будет скомпрометирован, злоумышленник не сможет узнать, как голосовал конкретный избиратель.

Кого затронет внедрение NARAD

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

Какие остаются вопросы и неопределенности

Работа является теоретической и включает пример реализации с открытым исходным кодом. Пока неизвестно, планируется ли практическое внедрение или аудит безопасности сторонними экспертами. Также не указаны результаты нагрузочного тестирования на реальном блокчейне Solana. Без реальных испытаний сложно оценить, как протокол поведет себя при масштабировании до миллионов избирателей. Кроме того, защищенные анклавы (например, Intel SGX) сами по себе имеют уязвимости, которые могут быть использованы. Несмотря на эти вопросы, NARAD представляет собой значительный шаг вперед в области безопасного электронного голосования.

Какие альтернативы существуют и чем NARAD лучше

Существующие системы электронного голосования, такие как Helios или VoteBox, часто полагаются на доверенный центр или гомоморфное шифрование с единым ключом. NARAD устраняет необходимость в доверенном центре, распределяя ключи между избирателями. Другие блокчейн-решения, например, на Ethereum, страдают от высоких комиссий и низкой пропускной способности. Solana решает эти проблемы, обеспечивая дешевые и быстрые транзакции. Кроме того, упаковка битов в NARAD значительно снижает требования к хранению и вычислениям, что делает его более практичным для крупных выборов.

Заключение

NARAD — это инновационная архитектура, которая сочетает гомоморфное шифрование и блокчейн Solana для создания безопасной и проверяемой системы электронного голосования. Она решает ключевую проблему доверенного центра и предлагает высокую производительность. Хотя остаются вопросы о практическом внедрении, теоретическая основа и открытый исходный код делают NARAD многообещающим направлением для будущих исследований и разработок.