10、抗胁迫电子选举技术解析

抗胁迫电子选举技术解析

1. 密码学预言机概述

在电子选举协议中，为简化分析，我们假定存在四种密码学操作的预言机，分别是混合预言机（$\tilde{MN}$）、明文等价测试预言机（$\tilde{PET}$）、阈值密文解密预言机（$\tilde{DEC}$）和单向或哈希函数预言机（$\tilde{OW}$）。以下是这些预言机的详细功能：
| 预言机名称 | 输入 | 输出 |
| ---- | ---- | ---- |
| $\tilde{MN}$ | 计票当局公钥$PKT$下的有序密文列表$E = {E_1, E_2, \ldots, E_d}$ | 对于一个秘密随机排列$\pi$，输出有序集合$E’ = {E’ {\pi(1)}, E’ {\pi(2)}, \ldots, E’ {\pi(d)}}$，其中$E’ {\pi(i)}$是密文$E_i$的重新加密 |
| $\tilde{PET}$ | 公钥$PKT$下的一对密文$(E, E’)$ | 若$E$和$E’$对应的明文相同，输出‘1’；否则输出‘0’ |
| $\tilde{DEC}$ | 公钥$PKT$下的密文$E$ | 对应的明文 |
| $\tilde{OW}$ | 查询值${0, 1}^*$ | 随机值${0, 1}^{k4}$，其中$k4$是安全参数（可能依赖于$k1$、$k2$和$k3$），且相同输入始终产生相同输出 |

每个预言机接受所有参与计票当局的公开可见输入。每个计票当局可看作有一个公开可读的磁带，可在上面为特定预言机写入输入值。协议同步进行，在每个时间步结束时，预言机按以下流程产生输出：若多数计票当局在磁带上提供了