24、实现可信远程电子投票的创新方案

实现可信远程电子投票的创新方案

1. 核心角色与基础模型

在远程电子投票系统中，存在几个关键角色，其中计票员（Talliers）是一个重要群体，用集合 ( T = {T_1, \ldots, T_n} ) 表示，他们与注册员（R）相互独立。计票员的职责是通过直接匿名认证（DAA）的签名和验证协议，授权将每张提交的选票添加到公告板上。

每个计票员拥有两个重要的密钥：一个是用于确定选票有效性的秘密密钥 ( s_T )；另一个是秘密密钥 ( s_{Tv} ) 的一部分，在选举结束后，计票员们需要通过协作达到法定人数，共同使用 ( s_{Tv} ) 来解密最终的计票结果。这两个密钥相互独立，目的是确保没有单个计票员能够获取到单个选民的投票信息。此外，计票员还负责对选票进行重新加密，并将重新加密的证明发送给选民（以 Alice 为例）。

该投票系统基于以下信任模型运行：
- 信任可信平台模块（TPM）及其制造商，认为他们会按照协议的预期方式运行。
- 所有参与方相信计票员不会泄露选票 ( (x, y) ) 与其重新加密形式 ( (x_f, y_f) ) 之间的关联。
- 所有选民信任管理员（A）不会泄露任何给定的 ( \delta ) 值的有效性，除非通过指定验证者签名将其告知计票员。
- 所有参与方相信每个选民在每次选举中只能向安全箱提交一张有效性卡片。
- 所有参与方相信注册员（R）不会向不符合资格的选民颁发团体成员证书，并且只会为符合资格的选民颁发一次。
- 所有参与者信任法官只会在适当的情况下授权撤销选民的匿名性。
- 选民 Alice 信任法官会诚实地说明选票是否已被统计。

同时，该系统也考