17、可验证电子选举技术解析

可验证电子选举技术解析

1. 电子投票技术的现状与挑战

电子投票技术在现代选举中的应用愈发广泛。直接记录电子投票机（DREs）和纸质选票光学扫描仪在受监督的投票站被广泛用于记录选票，像美国的总统选举和俄罗斯联邦国家杜马选举都有使用。自2007年起，爱沙尼亚在议会选举中采用了远程互联网电子投票，美国、墨西哥和瑞士的一些州也在尝试为海外公民提供互联网投票服务。

然而，选举需要具备普遍性、直接性、自由性、平等性和保密性等基本民主原则，电子投票技术的应用不能违背这些原则。一个理想的电子投票系统应保证以下几点：
1. 符合资格的选民能够投票。
2. 只有符合资格的选民被允许投票。
3. 隐私性：确保个人选票的保密性。
4. 正确性：选票必须被正确统计。
5. 健壮性：即使存在攻击者和不诚实的参与方，系统也能正常工作。

当前电子投票存在诸多争议，主要问题在于大多数系统缺乏透明度，导致人们对其安全性缺乏信任。例如，选民通常只能相信自己的选票会被准确记录和统计，但无法验证在DRE或个人电脑屏幕上输入并显示的选票与存储在电子投票箱中并最终计入统计的选票是否一致。而且，与传统纸质选举中公开计票不同，电子投票的统计过程通常无法接受公众检查。

2. 可验证性的重要性及实现方式

为了建立对电子投票的信任，可验证性，特别是端到端可验证性至关重要。端到端可验证性意味着选民和公众（或至少独立观察员）能够验证选票的投出和统计过程，包括选民的个人验证和结果验证两个步骤。

在电子投票系统中，选票会被编码、加密后存储在电子投票箱中。在可验证的选举方案中，投票箱及其内容应对公众可见。选民的个人验证是指每个选民