← 所有漏洞
🔍 检查结果(审计)
没有人被要求检查计票结果
机器清点选票后,应该有人手工检查一批真实的纸质选票,以确认机器计数无误。如果法律没有要求进行这样的检查,错误的计票结果可能会悄悄溜过去而不被发现。
▶
说明视频即将推出
60 秒的平实语言演示,讲解此漏洞。
实际发生了什么
选举完整性研究人员 Mark Lindeman 和 Philip Stark 正式确立了"风险限制审计"(RLA):这是一种方法,只需手工检查足够多的随机选择的纸质选票,就能给出报告的获胜者确实正确这一点的强有力统计信心。在审计可选、效力较弱(固定的很小百分比)或被跳过的地方,这种信心根本不存在。
自己给自己改作业
想象一个学生自己批改自己的考试,然后报告分数。也许他们很诚实。也许他们出了个错。知道真相的唯一办法是让别人重新检查一些答案。
投票机器也会报告自己的"分数"。审计就是独立的重新检查:取一批实际的纸质选票,手工计数,然后与机器报告的结果进行比较。更聪明的方式——风险限制审计——只检查足够多的随机选票,以高度确信正确的候选人赢了,然后停止。
为什么这很重要
手工清点纸张是证明。但纸质追踪只有在有人被要求使用它时才有帮助。当审计是可选的、"按需"进行的,或设定为象征性的固定百分比时,机器故障或篡改导致的错误计数可能在没有任何人打开选票箱的情况下被认证。
一次必需的、设计良好的审计把"相信机器"变成"验证机器"。
TrustVoting 如何解决这个问题
每一张选票都留下选民确认的纸质记录,系统被设计用于风险限制审计——这样纸质记录总是可以与机器计数相对照,达到既定的置信水平。
TrustVoting 如何消除它
TrustVoting 为每一张选票生成选民确认的纸质记录,并内置支持风险限制审计的功能,因此机器计数总是可以对照真实纸质记录进行检查,达到既定的置信水平。