用于防止电子投票中作弊的第一个零知识证明是什么？
第一个零知识证明检查加密选票条目相加是否等于 1，强制选民选择恰好一名候选人，而不是没有或两者都选。这排除了为两名候选人投票或不为任何候选人投票的情况。
适用条件
- 示例中有两个候选人槽位。
- 每个槽位包含一个加密值。
- 证明必须在不揭示个别值的情况下成立。
理解与推导
- 识别选举规则：每个选民必须选择恰好一名候选人，既不是两者也不是都不选。
- 制定协议要求的第一个零知识证明：选票中的加密值总和为 1。
- 验证加密选票值的总和等于 1。
- 确保证明在不揭示个别值的情况下成立。
例子
演讲者指出，第一个零知识证明是你信封里的东西总和为一，这意味着你恰好投票给了一名候选人。
容易误解的地方
- 将和为一误认为是完整的选票有效性：如果加密选票总和为 1，则选票必须有效，而非二进制值可以满足相同的方程。
观看对应讲解
YouTube零知识证明 - Computerphile
6:38 – 6:52原站看这一段 ↗
继续追问
答案依据视频资料生成并经过独立核验。若有疑问，请核对原视频或联系原作者。