Audit-or-Cast：面向 Privacy-Preserving Public Verification 的公正选举
密码学与安全
2026-04-22 v2
摘要
电子投票系统必须在公开可验证性、投票人隐私和抗强制性之间进行平衡。现有密码学协议通常通过揭示投票分布、依赖可信客户端或启用可转让凭证来实现端到端可验证性——这些设计选择往往在实际部署中妥协信任或隐私。我们提出了 ACE 投票协议，该协议在公开可审计性与强隐私保证之间取得平衡。该协议结合了公开可验证、统计学隐私的聚合机制，以及强制执行的 Audit-or-Cast 挑战，以确保即使在不可信客户端假设下也能实现如期投出。 tallier 端的重新随机化消除了投票人与公共记录之间的持久关联，假设至少有一个诚实的 tallier 可实现信息论凭证无信任性。我们形式化了 ACE 的安全性，表明其同时实现了端到端可验证性、统计学隐私的计票结果以及强凭证无信任性，无需可信客户端。
引用
@article{arxiv.2604.18163,
title = {Audit-or-Cast: Enforcing Honest Elections with Privacy-Preserving Public Verification},
author = {Aman Rojjha and Gaurang Tandon and Varul Srivastava and Kannan Srinathan},
journal= {arXiv preprint arXiv:2604.18163},
year = {2026}
}