| Electronic voting,as a safe and efficient voting method,plays an increasingly important role in various elections and selection activities nowadays.The research on electronic voting protocols is also increasing.As a complex protocol that combines a variety of cryptographic techniques,the protocol needs to be comprehensively considered from the aspects of security,efficiency,and functionality.Current research on e-voting protocols mainly focuses on the following three aspects:(1)ensuring the privacy of voters and the security of the voting process;(2)improving system efficiency while ensuring system security;(3)improving system voting types to increase its functionality.This thesis studies some problems existing in the electronic voting protocol according to the above three aspects.It proposes a new electronic voting scheme,and realizes a complete electronic voting system according to the scheme.The main work of the thesis is as follows:(1)The current ballot format and ballot legality verification methods in electronic voting are analyzed and summarized.Then,in view of the problem that it is difficult to choose a suitable proof method,which leads to a single ballot format,a proof scheme based on zk-SNARK protocol and Merkle tree is proposed,which is suitable for any known ballot format and has better performance in terms of efficiency.(2)The subsequent versions of Helios electronic voting scheme are studied,and then some potential security problems and improvements are analyzed.For example,a dishonest distributed key generator can make voting activities abnormal by forging key proofs.The system only supports the voting type of choosing one of many,and the overall efficiency is low.At the same time,the simulation implementation of Helios electronic voting scheme is carried out to compare with the efficiency of this scheme.(3)A new voting format is proposed,which can support multiple-choice and weighted voting types.Then,a new electronic voting scheme based on the Helios voting scheme is proposed.This scheme uses the new voting format and voting legality verification method to overcome some problems in the Helios scheme.it improves functions and efficiency.(4)A complete electronic voting system is designed and implemented for the above-mentioned electronic voting scheme.The ballot legitimacy verification scheme and the voting system are tested and analyzed respectively.The tests results show that both the scheme and the system meet the expected design and they implement the main function. |