随着网络的迅速发展和应用,人类已逐步进入信息社会,信息作为一种重要的资源,在社会生产生活中的作用越来越重要。电子投票也正是信息化的产物,其已成为电子商务、电子政务的一个重要组成。虽然目前电子投票方式还存在很多的不足,但是从长远来看,电子投票由于其快捷方便并且可提供更高的安全性的特点必将取代传统的投票方式。传统的电子投票协议大都采用零知识证明来验证选票的合法性,由于零知识证明过程效率很低,极大的制约了选举的效率,并不适用于全国性大选这样的大规模选举,因此本文主要围绕无需零知识证明的电子投票系统展开研究。首先,本文系统介绍了电子投票的基本概念及原理,概述其发展过程和研究进展,对电子投票中所用到的基本的技术进行了介绍。其次,随着电子投票协议研究的进展,安全的电子投票协议所要满足的条件越来越多。这样导致设计者必须按照所有的安全性质逐条地设计协议,如此设计是困难和复杂的。所幸的是,Ran Canetti提出了UC安全的概念。UC框架为协议的设计提供了模块化的方式。本文利用数论中模数的性质构造了,具有UC安全的两候选人电子投票协议。在UC的框架下采用一种新的编码手段以达到无需零知识证明即可验证选票的合法性,并利用基于身份的(n,n)门限加解密以及双线性对来实现多个计票中心联合计票的多候选人选举方案。第三,本文基于多方安全计算中的Bit分解协议构造了,无需零知识证明多候选人选举协议。Ivan Damard在2006年TCC会议中首次提出了Bit分解的概念,作为安全多方计算的一个典型应用,通过高性能服务器的合作将比特串的加密值分解成其对应每一位的加密值,因此利用该协议对重新编码后的选票进行分解得到其对应候选人的选票,再通过同态加密运算即可得到选举结果,通过上述手段将大量选票分解统计工作交给高性能服务器完成,可极大提高选举效率,适用于全国大选等大规模的选举。