为何纸张是可信计票的基石
向安全专家询问一场选举要做到可信,最重要的一件事是什么,答案通常只有一个词:纸张。这并非因为纸张陈旧或怀旧,而是因为它是系统中唯一一部分,黑客或软件故障无法悄然改写。其他一切保障——审计、重新计票、司法挑战——最终都依赖于存在一份可供核对的实体记录。
其逻辑很简单。单靠计算机计票,是要求你信任计算机。纸质记录则把信任转化为核验:因为纸张存在于机器之外,机器可以据此接受核查。若没有纸张,所有后续保障都会失去立足点,因为已没有任何独立记录可与电子结果进行比对。
这一原则贯穿于选票如何计数:安全来自可检查的层层机制,而纸张是其他一切所依赖的那一层。
两种纸质形式
“纸质记录”涵盖两种相关但不同的内容,而这种区别很重要:
| 类型 | 选票如何记录 | 核验问题 |
|---|---|---|
| 人工标记纸质选票 | 选民直接在纸上标记 | 扫描仪是否正确读取了标记? |
| 带打印输出的选票标记设备(BMD) | 机器将选民的选择打印在纸上 | 选民是否核对打印内容与其意图一致? |
二者都可以提供稳固的纸质记录——但前提是纸张经过选民核验。这一表述是关键。选民只是匆匆看过、甚至从未见过的打印件,并不是真正经过核验:屏幕与纸张之间的错误或篡改可能会未被察觉地溜过。只有在人确认纸张反映了其选择时,这一保障才有效。
软件独立性
这一原则的正式名称是软件独立性:投票软件中的未被发现的错误或故障,不应能够导致选举结果发生未被发现的变化。纸张正是实现这一点的手段。如果软件计错——无论是由于漏洞还是攻击——纸质记录可以通过人工计数,差异便会暴露出来。
这重新界定了整个“如果机器被入侵怎么办?”的担忧。在无纸系统中,这个问题无法回答,这正是它侵蚀信任的原因。在纸质系统中,它有一个具体答案:数纸张。包括美国 National Academies 具有里程碑意义的评估在内的专家共识因此十分明确——使用可供人阅读的纸质选票,并逐步淘汰无纸机器。
纸质记录能够实现什么
纸张本身不是保障;它是使保障成为可能的条件。它支撑:
没有可信的实体记录,这些都无法实现。纸张是每一项核查所依赖的原材料。
没有纸张时
纸质记录的价值,在其缺失之处最为明显。两种情形展示了这种缺失的两种方式。
- 无纸机器。 在仅使用电子系统投票且不保留任何纸质记录的地方,存在争议的结果根本无法独立核实——因为根本没有可供重新计数的东西。这就是为什么各民主国家的趋势是淘汰此类系统。
- 被扣留的记录。 纸张(或其等效物)可以存在,却仍被隐藏。在2020年 Belarus,当局未公布投票站层级的protocols,因此官方结果无法与底层记录核对。任何不允许被检查的纸质记录,都不能提供保证。
纸质记录在实践中的作用
积极的案例同样具体。继2020 result in Georgia结束后,官员对每一张纸质选票进行了全面人工清点。由于每一票都存在经选民核验的纸质记录,人工计数可以直接与机器计票进行比较——结果与通常的人为误差范围内一致。纸质记录把“机器被入侵了”这一激烈主张,转化为一个可以核查、并最终令人安心的问题。
这正是保留纸张的全部意义。它既不预设机器可信,也不预设机器不可信——而是使答案在任何情况下都可核验。而高效、规模化地完成核验的工具,就是选举审计。