民主选举活动在当今社会越来越普遍,这一现象在体现社会民主性的同时也带来了大量重复性的选票收集和统计工作。自上世纪起,电子选举系统因其高效性和易用性开始被应用于不同国家,地区和组织机构的选举当中。它的应用一方面节省了大量的人力物力,另一方面也避免了人工统计的失误。早期的电子选举系统只有记录选票和统计选票的功能,并没有考虑系统的安全性。因此黑客可以通过攻击选票设备很容易的篡改选票结果。这一缺陷极大的影响了公众对电子选举系统公正性的信心。为了提高电子选举系统的可信度,一些可验证的选举系统被提出。投票者可以对系统的正确性进行验证,检验系统是否如实记录了选票信息,检验系统是否篡改了统计结果。起初,这类选举系统需要借助计票中心来完成统计结果验证的功能,但这一方法不但使选举系统变得复杂,同时仍存在一定的安全隐患。DRE-i是首个无需计票中心的电子选举方案,该方法简化了可验证电子选举方案的流程。之后提出的DRE-ip方案弥补了DRE-i在安全性方面的不足,同时进一步优化了选举效率,使无计票中心的选举方案具有可实施性。但是上述两种方案都采用了同态计票的方式来避免引入计票中心,因此不支持投票者自由写入候选人信息,这一限制大大降低了选举系统的灵活性,使其不能很好的适应复杂选举规则。针对这一问题,本文提出了三种无计票中心的写入式可验证电子选举方案,这些方案都可以在无计票中心的前提下支持投票者自由填写候选人信息。本文的主要工作如下:首先,对现有的基于DRE设备的选举系统进行调研,将选举系统的设计拆分为几个独立部分。然后,对独立的功能模块进行设计,其中包括保证存储安全性的链接关系被加密的单向链表结构,基于Groth证明框架的置换证明协议以及具备不同特性的承诺方案等。最后将具有不同特性的功能模块组合成三种具有不同特性的电子选举方案,其中方案二采用了概率隐藏性承诺方案,具有永久隐私性,方案三采用了顺序无关性承诺方案,具有高效性。此外,本文还使用Python语言对上述三种方案进行了实现,并分别在PC机和树莓派上对选举系统的性能进行了测试,实验结果证明本文提出的高效可验证电子选举方案在效率方面可以胜任大规模选举活动。