← Математические основы криптографииПриложения

Подсчёт зашифрованных бюллетеней

Зашифровать каждый бюллетень, объединить шифртексты, расшифровать только итог. Paillier опирается на факторизацию, схема LWE — на шум.

Подписи внутри интерактивного демо пока на английском.

n = p·q = 17 · 19 = 323g = n + 1 = 324public: (n, g) · private: λ = 144
VoterBallot
Aysel
Babək
Cavid
Dilarə
Elvin
Fidan
Günay
Hikmət
Ballot box
C = ∏ cᵢ mod n²—
L(C^λ mod n²) · μ mod n—
1 / 4
Click a ballot to change a vote. Nobody but the voter knows these choices.

На что обратить внимание

  • Ни один бюллетень не расшифровывается: организатор видит только итоговую сумму.
  • Перемножение шифртекстов Paillier складывает голоса. Стойкость держится на сложности факторизации n, которую ломает алгоритм Shor.
  • В схеме LWE каждый шифртекст несёт немного шума, и при сложении шифртекстов шум тоже складывается. Слишком много голосов или шума — и итог расшифруется неверно. Схемы вроде BFV подбирают параметры так, чтобы этого не случалось.