Threshold Receipt-Free Voting with Server-Side Vote Validation

doi:10.1007/978-3-032-05036-6_4

Threshold Receipt-Free Voting with Server-Side Vote Validation

2026-01-01

0

OA

AI

DOI：10.1007/978-3-032-05036-6_4

原文链接

查看原文

摘要

En 中文

验证选票的有效性是可验证选举的核心要素。然而，当希望使协议无收据时，此类证明可能会带来挑战。我们探讨了在通过多个权威机构对选票加密进行秘密共享以获得阈值无收据性的协议背景下，由有效性证明引发的问题。在这种背景下，现有解决方案通过混网传输选票后对其进行解密来验证选票的有效性。然而，这种方法会带来细微的隐私风险，特别是当无效选票泄露结构性模式时，会威胁到无收据性。我们提出了另一种阈值无收据投票方法，其中权威机构对选票份额进行再随机化，然后共同计算选票有效性的零知识证明，再让选票进入（可能是同态的）计票阶段。我们的方法在限制选民计算成本的同时，提供了可验证性并改善了先前解决方案的选票隐私。我们提出了两种协议，使服务器组能够验证并公开证明加密选票满足某些有效性属性：MiniMix，它在保留选民端行为的同时具有最小开销；以及HomoRand，它要求选民提交辅助数据以促进对大型选票域的验证。我们展示了如何在阈值无收据投票框架中使用我们的两种协议。我们提供了形式化安全证明和效率分析，以说明我们设计中的权衡。

Keyword:

Threshold receipt-freeness

Vote validation

ZK proof

Secret sharing

Mix-net

Threshold Receipt-Free Voting with Server-Side Vote Validation

摘要

AI总结

期刊

机构

引用论文