Разработка криптографических методов и алгоритмов в системах электронного голосования
Докторантура по специальности «Информационные системы и процессы» (с 2024 года), кафедра кибербезопасности, Азербайджанский технический университет
01
Тема диссертации
Выборам нужно сразу две вещи: каждый бюллетень остаётся тайным, и любой может проверить, что итог подсчитан верно. Большинство практических схем электронного голосования опираются на факторизацию или дискретный логарифм, а их сломает большой квантовый компьютер.
В диссертации я разрабатываю криптографические методы электронного голосования на решётках: гомоморфный подсчёт, обязательства с доказательствами с нулевым разглашением, пороговый подсчёт, разделённый между несколькими избирательными органами и конкретные параметры, которые можно проверить и внедрить.
- Постквантовое голосование
- Решёточные обязательства
- Пороговая криптография
- Гомоморфный подсчёт
- Проверяемость
- Конкретные параметры
02
Последний препринт
Cryptology ePrint Archive · 2026/2500
Threshold Post-Quantum E-Voting from Lattice Commitments
T-EVOLVE — пороговая версия решёточного протокола электронного голосования EVOLVE. Голоса разделяются по схеме Шамира в пространстве сообщений обязательства, поэтому подсчёт могут завершить любые t из n избирательных органов: тайна сохраняется при сговоре t − 1 органов, а итог остаётся проверяемым, даже если сговорились все.
Жалобы органов друг на друга, в том числе на шифртексты, которые не расшифровываются, может проверить любой. В статье доказаны тайна, проверяемость, индивидуальная проверяемость и устойчивость; к ней прилагается реализация на C.
t of nорганов завершают подсчёт
109 KBбюллетень «да/нет», 4 органа
≈ 3 minна 10⁴ бюллетеней на одном ядре
Как работает T-EVOLVE, по шагам
Интерактивный разбор протокола: бюллетень фиксируется обязательством и разделяется, органы его проверяют, и любые t из них восстанавливают итог.
Скоро04
Код
Исследовательский код: не работает за постоянное время и не проходил аудит. Не используйте его для реальных выборов.
t-evolve-cryptoalgCЭталонная реализация T-EVOLVE и бюллетеня EVOLVE на общей основе: арифметика кольца с NTT, гауссовы сэмплеры, обязательства BDLOP, разделение Шамира, доказательства, агрегация и подсчёт. Воспроизводит замеры из статьи.evolve_cCЭталонная реализация ядра EVOLVE (del Pino, Lyubashevsky, Neven, Seiler, CCS 2017) — протокола, на котором построен T-EVOLVE.pq-evoting-paramsPythonПересчитывает конкретную стойкость опубликованных параметров решёточных схем голосования одной зафиксированной версией lattice estimator, с полными логами.pailliervsbfvPythonЭксперименты для сравнения Paillier и BFV как слоя шифрования системы голосования.