沈平健

武汉大学国家网络安全学院

摘要(Abstract)：

随着信息技术的飞速发展和数字社会的深度推进，电子投票作为传统纸质投票的数字化替代方案，凭借其高效、便捷、低成本的优势，已广泛应用于各类选举、民意调查、企业决策等场景。然而，传统电子投票系统在匿名性、可验证性、安全性等核心需求上存在显著短板，难以同时兼顾选民隐私保护与投票过程的公开透明，导致选民对系统的信任度不足，限制了电子投票的进一步普及与推广。零知识证明（Zero-Knowledge Proof, ZKP）作为一种能够在不泄露任何私密信息的前提下，证明某个陈述真实性的密码学技术，为解决匿名电子投票中的核心矛盾提供了全新的技术路径。本文围绕基于零知识证明的匿名电子投票系统展开深入研究，结合密码学、计算机网络、软件工程等多学科理论与技术，设计并实现了一套兼具匿名性、可验证性、安全性与高效性的电子投票系统。首先，本文系统梳理了电子投票系统的发展现状与核心需求，深入分析了传统电子投票系统在隐私保护、投票安全、结果验证等方面存在的突出问题，明确了零知识证明技术在解决这些问题中的核心优势与应用价值。其次，详细阐述了零知识证明的核心原理、分类及常用方案，对比分析了不同零知识证明方案的性能特点与适用场景，并结合同态加密、盲签名等密码学工具，构建了系统的技术支撑体系，为系统设计奠定了坚实的理论基础。在此基础上，本文提出了一套轻量级的匿名电子投票系统架构，明确了系统的模块划分、各模块的功能职责以及模块间的交互关系，设计了完整的数据流与业务流程，确保系统运行的高效性与连贯性。针对系统的核心功能，包括选民身份认证与注册、投票生成与加密、匿名投票提交与存储、高效计票与结果验证等，进行了详细的设计与优化，引入零知识证明技术实现选民身份的匿名验证、投票行为的合法性证明，结合同态加密技术实现投票结果的隐私保护与高效聚合，利用盲签名技术进一步强化选民的匿名性保障。为验证系统的有效性与可行性，本文基于主流的开发语言与框架，完成了系统的原型实现，并搭建了完善的测试环境，从功能测试、性能测试、安全性测试三个维度对系统进行了全面测试。测试结果表明，本文设计实现的基于零知识证明的匿名电子投票系统，能够有效保障选民的匿名性，确保投票过程的不可篡改性与投票结果的可验证性，同时在投票延迟、吞吐量、资源消耗等性能指标上表现优异，能够满足小型选举场景的实际应用需求。最后，本文总结了研究过程中取得的成果与存在的不足，结合当前密码学技术的发展趋势，提出了未来的改进方向，包括系统扩展性优化以支持大规模选举场景，结合量子安全密码学技术增强系统的长期安全性，为后续相关研究与应用提供了参考与借鉴。本文的研究工作不仅解决了传统电子投票系统的核心痛点，丰富了零知识证明技术在隐私保护领域的应用场景，也为匿名电子投票系统的设计与实现提供了一种可行的技术方案，具有重要的理论意义与实际应用价值。

关键词(KeyWords)：

零知识证明；匿名电子投票；同态加密；盲签名；隐私保护；可验证性；安全性

参考文献(References)：

[1]张福泰，杨波.密码学原理与应用[M].北京：清华大学出版社，2020.

[2]冯登国，张振峰，陈宇.零知识证明技术研究与应用进展[J].软件学报，2021，32（05）：1301-1322.

[3]王小云，王明生，谢琪.现代密码学中的同态加密技术[J].中国科学：信息科学，2020，50（08）：1121-1142.

[4] Chaum D.Blind signatures for untraceable payments[J].Communications of the ACM,1983,26(04):294-299.