Scantegrity II:实现最佳抗胁迫性的投票系统
1. 引言
在投票系统中,抗胁迫性是一个至关重要的特性,它能确保选民的投票意愿不被外界胁迫所左右。今天我们要探讨的Scantegrity II系统,就是一个在抗胁迫性方面表现出色的投票系统。
2. 理想协议的抗胁迫水平
理想协议的抗胁迫水平(δ)与诚实选民数量、候选人数量以及选民选择的概率分布有关。以下是不同情况下的抗胁迫水平示例:
| 候选人情况 | 概率分布 |
| — | — |
| 5 候选人 | (p_0 = 0.3, p_1 = 0.2, p_2 = 0.05, p_3 = p_4 = p_5 = 0.15) |
| 2 候选人 | (p_0 = 0.3, p_1 = 0.1, p_2 = 0.6) |
| 2 候选人 | (p_0 = 0.3, p_1 = p_2 = 0.35) |
| 2 候选人 | (p_0 = 0.0, p_1 = p_2 = 0.5) |
在这些情况下,被胁迫选民的目标是投票给候选人 1。通过分析这些数据,我们可以了解到不同参数对理想协议抗胁迫水平的影响。
3. Scantegrity II 系统概述
Scantegrity II 系统的参与者除了选民之外,还包括以下几类:
- 工作站(WSt) :投票过程的核心组件,控制着一个公告板,用于广播消息,所有人都可以读取公告板上的信息。工作站还包含一个扫描仪和一个伪随机数生成器(PRNG)。
- 审计员(aud1, …, audt) </