[论文解读] Secrecy and Verifiability: An Introduction to Electronic Voting

Paul Holger Keeler, Ben Smyth|arXiv (Cornell University)|Feb 12, 2026

Internet Traffic Analysis and Secure E-voting被引用 0

一句话总结

一个介绍电子投票中选票保密性与可验证性的教程，利用密码学工具在保密性与可验证结果之间取得平衡，并对 Helios 与 Belenios 等方案进行综述。

ABSTRACT

Democracies are built upon secure and reliable voting systems. Electronic voting systems seek to replace ballot papers and boxes with computer hardware and software. Proposed electronic election schemes have been subjected to scrutiny, with researchers spotting inherent faults and weaknesses. Inspired by physical voting systems, we argue that any electronic voting system needs two essential properties: ballot secrecy and verifiability. These properties seemingly work against each other. An election scheme that is a complete black box offers ballot secrecy, but verification of the outcome is impossible. This challenge can be tackled using standard tools from modern cryptography, reaching a balance that delivers both properties. This tutorial makes these ideas accessible to readers outside electronic voting. We introduce fundamental concepts such as asymmetric and homomorphic encryption, which we use to describe a general electronic election scheme while keeping mathematical formalism minimal. We outline game-based cryptography, a standard approach in modern cryptography, and introduce notation for formulating elections as games. We then give precise definitions of ballot secrecy and verifiability in the framework of game-based cryptography. A principal aim is introducing modern research approaches to electronic voting.

研究动机与目标

• 在电子投票背景下定义选票保密性与普遍可验证性/个体可验证性。
• 给出一个通用的选举方案，并展示密码学原语如何实现保密性与可验证性。
• 引入核心密码学概念（加密、同态、零知识证明、Fiat-Shamir）及其在投票中的应用。
• 对一个运行示例与案例研究进行调查，说明如 Helios、Helios Mixnet 与 Belenios 等的实际实现。

提出的方法

• 描述一个包含四个算法的选举方案：Setup、Vote、Tally、Verify。
• 使用公告板发布加密选票和正确加总的公示证明。
• 解释并应用同态加密在不解密单个选票的情况下对加密票进行计票。
• 引入基于博弈的密码学、选票保密性与可验证性的定义，以及通过 Fiat-Shamir 的非交互证明。
• 讨论阈值加密以分配解密权力并防止单点故障。
• 提供票据编码策略（位字符串编码）并结合示例加以说明。

实验结果

研究问题

• RQ1 哪些正式定义的选票保密性与可验证性能够在电子投票中同时保证这两种特性？
• RQ2 如何将密码学原语组合以实现单票保密性与选举结果的可验证性？
• RQ3 公开验证（普遍可验证性）与个体可验证性在现实投票方案中的作用是什么？
• RQ4 运行示例（如 Helios）如何演示这些概念的实际实现？

主要发现

• 电子投票需要在选票保密性与可验证性之间取得平衡，这可以通过密码学结构来实现。
• 一个通用的选举方案可以通过设置、公告板上的加密票据，以及带证明的可验证计票来提供保密性与可验证性。
• 部分同态加密使得在不解密单个票据的情况下进行计票，从而保持保密性。
• Fiat-Shamir 与零知识证明通过公有数据实现对正确计票的非交互式验证。
• 阈值加密将解密权力分散，避免单点故障并保护选票保密性。
• 本文讨论了实际系统（Helios、Helios Mixnet、Belenios）并评述相关攻击与防御。