Modern democracies face an existential crisis of waning public trust in election results. While End-to-End Verifiable (E2E-V) voting systems promise mathematically secure elections, their reliance on complex cryptography creates a ``black box'' that forces blind trust in opaque software or external experts, ultimately failing to build genuine public confidence. To solve this, we introduce the concept of Software-Free Verification (SFV) -- a standard requiring that voters can independently verify election integrity without relying on any software. We propose a practical, non-cryptographic in-booth voting scheme that achieves SFV for national-scale elections. Our approach leverages a public bulletin board of randomized (Pseudonym, Candidate) pairs, where a mechanically generated pseudonym is hidden among real decoy votes on a physical receipt. Our scheme empowers citizens to audit the election using only basic arithmetic via a hierarchical Public Ledger, while anchoring the overall digital tally to physical evidence and Risk-Limiting Audits (RLAs) to guarantee systemic integrity. The result is a system that bridges the gap between mathematical security and public transparency, offering a viable blueprint for restoring trust in democratic infrastructure.


翻译:现代民主正面临公众对选举结果信任度下降的生存危机。尽管端到端可验证(E2E-V)投票系统承诺提供数学上安全的选举,但其对复杂密码学的依赖形成了一个“黑箱”,迫使选民盲目信任不透明的软件或外部专家,最终无法建立真正的公众信任。为解决这一问题,我们提出了“无需软件验证”(SFV)概念——该标准要求选民无需依赖任何软件即可独立验证选举的完整性。我们提出了一种实用的、非加密的室内投票方案,可在国家层面选举中实现SFV。该方法利用一个随机化(假名,候选人)对的公共公告板,其中通过机械方式生成的假名被隐藏在物理收据上的真实诱饵投票中。我们的方案使公民能够通过分层公共账本仅使用基础算术来审计选举,同时将整体数字计票锚定于物理证据和风险限制审计(RLA),以确保系统完整性。最终成果是一个弥合数学安全性与公众透明度之间鸿沟的系统,为恢复民主基础设施的信任提供了切实可行的蓝图。

0
下载
关闭预览

相关内容

面向电子战的可解释智能应用研究
专知会员服务
70+阅读 · 2023年10月14日
最新《监督机器学习可解释性》2020大综述论文,74页pdf
专知会员服务
130+阅读 · 2020年11月19日
ISWC2020最佳论文《可解释假信息检测的链接可信度评价》
揭秘AI识别虚假新闻背后的原理
DeepTech深科技
10+阅读 · 2018年8月5日
SCENE-一个可扩展两层级新闻推荐系统
全球人工智能
11+阅读 · 2018年1月7日
国家自然科学基金
0+阅读 · 2017年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
3+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
VIP会员
最新内容
边缘计算的军事应用
专知会员服务
6+阅读 · 8月9日
一种考虑资源机动性的武器目标分配混合算法
专知会员服务
8+阅读 · 8月8日
《多域冲突比较支持模型》60页
专知会员服务
13+阅读 · 8月7日
相关基金
国家自然科学基金
0+阅读 · 2017年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
3+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员