55、电子投票协议中的选举可验证性与 Pretty Good Democracy 扩展方案

电子投票协议中的选举可验证性与 Pretty Good Democracy 扩展方案

电子投票协议选举可验证性测试与 JCJ - Civitas 协议

在电子投票场景中，选举可验证性测试 ΦEV 由观察者结合公告板来实例化。它有几个关键条件：
- 条件 (5) 保证，对于环境提供的一组选票 ˜yσ，ΦEV 仅对一份选民公共凭证列表验证成功。
- 条件 (6) 确保若公告板包含具有公共凭证 ˜wσ 的选民选票，那么 ΦEV 仅在这些凭证的一种排列上成立。
- 条件 (7) 规定，给定一组凭证 ˜w，ΦEV 仅接受一组公告板条目 ˜y。为满足此强要求，期望投票规范框架包含公钥以建立信任。
- 有效性条件与上一节的条件 (4) 类似。

JCJ - Civitas 协议是基于混合网络（mixnets）的开源投票系统，由 Juels 等人提出，Clarkson 等人实现。该协议分为四个阶段：
1. 设置阶段
- 注册员和计票员分别运行协议构建公钥对，并在各自群体内分发私钥份额，同时公布公钥。注册员还构建分布式签名密钥对。
2. 注册阶段
- 注册员以分布式方式生成并分发选民凭证，包括私钥部分 d 和公钥加密后的部分 penc(pk(skR), m′′, d)，确保单个注册员不会知晓任何私钥凭证的值。
- 注册员公布签名后的选民公共凭证。
- 注册员公布候选人列表 ˜t。
3. 投票阶段
- 选民从候选人列表中选择投票 s，计算两个密文 M 和 M′，分别包含投票和凭证信息。