Secure electronic voting scheme based on blockchain

doi:10.11772/j.issn.1001-9081.2019122171

Journal of Computer Applications ›› 2020, Vol. 40 ›› Issue (7): 1989-1995.DOI: 10.11772/j.issn.1001-9081.2019122171

• Cyber security • Previous Articles Next Articles

Secure electronic voting scheme based on blockchain

WU Zhihan^1,2, CUI Zhe^1,2, LIU Ting^1,2, PU Hongquan^1,2

1. Chengdu Institute of Computer Application, Chinese Academy of Sciences, Chengdu Sichuan 610041, China;
2. University of Chinese Academy of Sciences, Beijing 100049, China

Received:2019-12-26 Revised:2020-02-16 Online:2020-07-10 Published:2020-04-13
Supported by:
This work is partially supported by the Key Research and Development Program of Sichuan Province (2018GZ0545), the Major Science and Technology Program of Sichuan Province (2019ZDZX0005).

基于区块链的安全电子选举方案

吴芷菡^1,2, 崔喆^1,2, 刘霆^1,2, 蒲泓全^1,2

1. 中国科学院成都计算机应用研究所, 成都 610041;
2. 中国科学院大学, 北京 100049

通讯作者: 崔喆
作者简介:吴芷菡(1994-),女,四川成都人,硕士研究生,主要研究方向:信息安全、可信计算、区块链;崔喆(1970-),男,四川巴中人,研究员,博士,主要研究方向:可信计算、信息安全;刘霆(1978-),男,天津人,博士研究生,主要研究方向:信息安全、区块链;蒲泓全(1990-),男,四川巴中人,博士研究生,主要研究方向:信息安全、电子投票。
基金资助:
四川省重点研发项目（2018GZ0545）；四川省重大科技专项（2019ZDZX0005）。

Abstract

Abstract: There are two main contradictions in the existing electronic voting schemes, one is to ensure the legality and compliance of election behavior while ensuring the anonymity of election process, and the other is to ensure the privacy security of ballot information while ensuring the public verifiability of election results. Focusing on these contradictions, a decentralized electronic voting scheme based on Ethereum blockchain and zero-knowledge proof was proposed. In the proposed scheme, the non-interactive zero-knowledge proof algorithm and decentralized blockchain architecture were fused to build zero knowledge proof of voter identity and zero knowledge proof of ballot legality. And smart contract and Paillier algorithm were used to realize self-counting without trusted third-party counting mechanism. The theoretical analysis and simulation results show that the scheme can achieve security requirements of electronic voting and can be applied to small-scale community election.

Key words: electronic voting, non-interactive zero-knowledge proof, blockchain, smart contract, decentralization

摘要： 当前电子选举方案主要存在两个矛盾点：一是既要保证选举行为的合法合规性，又要保证选举过程的匿名性；二是既要保证选票信息的隐私保密要求，又要保证选举结果的公众可验证性。针对这些矛盾，提出一种基于以太坊区块链和零知识证明的去中心化的安全电子选举方案。在该方案中，利用非交互式零知识证明算法和区块链去中心化架构设计了选民身份合法性零知识证明和选票合法性零知识证明；利用智能合约和Paillier密码体制实现无需可信第三方计票机构的自动计票。理论分析和模拟实验结果表明，在没有中心信任机构的条件下，该方案满足电子选举安全性要求，可应用于小型社区选举。

关键词: 电子选举, 非交互式零知识证明, 区块链, 智能合约, 去中心化

CLC Number:

TP311.1

WU Zhihan, CUI Zhe, LIU Ting, PU Hongquan. Secure electronic voting scheme based on blockchain[J]. Journal of Computer Applications, 2020, 40(7): 1989-1995.

吴芷菡, 崔喆, 刘霆, 蒲泓全. 基于区块链的安全电子选举方案[J]. 计算机应用, 2020, 40(7): 1989-1995.

References

[1] CERVERÓ M À,MATEU V,MIRET J M,et al. An efficient homomorphic e-voting system over elliptic curves[C]//Proceedings of the 3rd International Conference on Electronic Government and the Information Systems Perspective, LNCS 8650. Cham:Springer, 2014:41-53.
[2] CHILLOTTI I,GAMA N,GEORGIEVA M,et al. A homomorphic LWE based e-voting scheme[C]//Proceedings of the 7th International Workshop on Post-Quantum Cryptography,LNCS 9606. Cham:Springer,2016:245-265.
[3] WILL M A,NICHOLSON B,TIEHUIS M,et al. Secure voting in the cloud using homomorphic encryption and mobile agents[C]//Proceedings of the 2015 International Conference on Cloud Computing Research and Innovation. Piscataway:IEEE,2015:173-184.
[4] SCHOENMAKERS B. A simple publicly verifiable secret sharing scheme and its application to electronic voting[C]//Proceedings of the 19th Annual International Cryptology Conference,LNCS 1666. Berlin:Springer,1999:148-164.
[5] LIU Y,ZHAO Q. E-voting scheme using secret sharing and K-anonymity[J]. World Wide Web,2019,22(4):1657-1667.
[6] FUJIOKA A,OKAMOTO T,OHTA K. A practical secret voting scheme for large scale elections[C]//Proceedings of the 1992 International Workshop on the Theory and Application of Cryptographic Techniques,LNCS 718. Berlin:Springer,1992:244-251.
[7] 刘雯, 张建中. 一种基于ElGamal签名体制的代理多重盲签名方案[J]. 计算机工程与应用,2012,48(10):95-97.(LIU W, ZHANG J Z. Proxy blind multi-signature scheme based on EIGamal signature[J]. Computer Engineering and Applications,2012,48(10):95-97.)
[8] LEE B,BOYD C,DAWSON E,et al. Providing receipt-freeness in mixnet-based voting protocols[C]//Proceedings of the 6th International Conference on Information Security and Cryptology,LNCS 2971. Berlin:Springer,2003:245-258.
[9] SASSON E B,CHIESA A,GARMAN C,et al. Zerocash:decentralized anonymous payments from bitcoin[C]//Proceedings of the 2014 IEEE Symposium on Security and Privacy. Piscataway:IEEE,2014:459-474.
[10] 贺海武, 延安, 陈泽华. 基于区块链的智能合约技术与应用综述[J]. 计算机研究与发展,2018,55(11):2452-2466.(HE H W,YAN A,CHEN Z H. Survey of smart contract technology and application based on blockchain[J]. Journal of Computer Research and Development,2018,55(11):2452-2466.)
[11] GOLDWASSER S,MICALI S,RACKOFF C. The knowledge complexity of interactive proof systems[J]. SIAM Journal on Computing,1989,18(1):186-208.
[12] DE SANTIS A,PERSIANO G. Zero-knowledge proofs of knowledge without interaction[C]//Proceedings of the 33rd Annual Symposium on Foundations of Computer Science. Piscataway:IEEE, 1992:427-436.
[13] DE SANTIS A,DI CRESCENZO G,PERSIANO G. Randomnessoptimal characterization of two NP proof systems[C]//Proceedings of the 6th International Workshop on Randomization and Approximation Techniques in Computer Science,LNCS 2483. Berlin:Springer,2002:179-193.
[14] GALBRAITH S D. Elliptic curve Paillier schemes[J]. Journal of Cryptology,2002,15(2):129-138.
[15] 国家密码管理局. SM2椭圆曲线公钥密码算法[EB/OL].[2019-05-22]. http://www.oscca.gov.cn/sca/xxgk/2010-12/17/1002386/files/b791a9f908bb4803875ab6aeeb7b4e03.pdf. (State Cryptography Administration. Public key cryptographic algorithm SM2 based on elliptic curve[EB/OL].[2019-05-22]. http://www.oscca.gov.cn/sca/xxgk/2010-12/17/1002386/files/b791a9f908bb4803875ab6aeeb7b4e03.pdf.)
[16] 国家密码管理局. SM3密码杂凑算法[EB/OL].[2019-05-22]. http://www.oscca.gov.cn/sca/xxgk/2010-12/17/1002389/files/302a3ada057c4a73830536d03e683110.pdf. (State Cryptography Administration. SM3 cryptographic hash algorithm[EB/OL].[2019-05-22]. http://www.oscca.gov.cn/sca/xxgk/2010-12/17/1002389/files/302a3ada057c4a73830536d03e683110.pdf.)
[17] FUCHSBAUER G. Subversion-zero-knowledge SNARKs[C]//Proceedings of the 21st IACR International Workshop on Public Key Cryptography,LNCS 10769. Cham:Springer,2018:315-347.
[18] BEN-SASSON E,CHIESA A,RIABZEV M,et al. Aurora:transparent succinct arguments for R1CS[C]//Proceedings of the 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques,LNCS 11476. Cham:Springer,2019:103-128.
[19] ANSTREICHER K,BRIXIUS N,GOUX J P,et al. Solving large quadratic assignment problems on computational grids[J]. Mathematical Programming,2002,91(3):563-588.
[20] BARRETO P S L M,KIM H Y,LYNN B,et al. Efficient algorithm for pairing-based cryptosystems[C]//Proceedings of the 22nd Annual International Cryptology Conference,LNCS 2442. Berlin:Springer,2002:354-369.
[21] YAO A C C,YAO F F,ZHAO Y. A note on universal composable zero-knowledge in the common reference string model[J]. Theoretical Computer Science,2009,410(11):1099-1108.

Secure electronic voting scheme based on blockchain

基于区块链的安全电子选举方案

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

[1]	GE Jihong, SHEN Tao. Energy data access control method based on blockchain [J]. Journal of Computer Applications, 2021, 41(9): 2615-2622.
[2]	SHEN Yumin, WANG Jinlong, HU Diankai, LIU Xingyu. Multi-person collaborative creation system of building information modeling drawings based on blockchain [J]. Journal of Computer Applications, 2021, 41(8): 2338-2345.
[3]	YANG Longhai, WANG Xueyuan, JIANG Hesong. Blockchain digital signature scheme with improved SM2 signature method [J]. Journal of Computer Applications, 2021, 41(7): 1983-1988.
[4]	CHEN Weiwei, CAO Li, GU Xiang. E-forensics model for internet of vehicles based on blockchain [J]. Journal of Computer Applications, 2021, 41(7): 1989-1995.
[5]	QING Xinyi, CHEN Yuling, ZHOU Zhengqiang, TU Yuanchao, LI Tao. Blockchain storage expansion model based on Chinese remainder theorem [J]. Journal of Computer Applications, 2021, 41(7): 1977-1982.
[6]	LI Bei, ZHANG Wenyin, WANG Jiuru, ZHAO Wei, WANG Haifeng. Sealed-bid auction scheme based on blockchain [J]. Journal of Computer Applications, 2021, 41(4): 999-1004.
[7]	BAO Yulong, ZHU Xueyang, ZHANG Wenhui, SUN Pengfei, ZHAO Yingqi. Formal verification of smart contract for access control in IoT applications [J]. Journal of Computer Applications, 2021, 41(4): 930-938.
[8]	TIAN Zhihong, ZHAO Jindong. Overview of blockchain consensus mechanism for internet of things [J]. Journal of Computer Applications, 2021, 41(4): 917-929.
[9]	ZHANG Xuewang, YIN Zijie, FENG Jiaqi, YE Caijin, FU Kang. Data trading scheme based on blockchain and trusted computing [J]. Journal of Computer Applications, 2021, 41(4): 939-944.
[10]	ZHANG Guochao, TANG Huayun, CHEN Jianhai, SHEN Rui, HE Qinming, HUANG Butian. Digital music copyright management system based on blockchain [J]. Journal of Computer Applications, 2021, 41(4): 945-955.
[11]	LIU Hongyu, LIANG Xiubo, WU Junhan. Kubernetes-based Fabric chaincode management and high availability technology [J]. Journal of Computer Applications, 2021, 41(4): 956-962.
[12]	GAO Haoyu, LI Leixiao, LIN Hao, LI Jie, DENG Dan, LI Shaoxu. Research and application progress of blockchain in area of data integrity protection [J]. Journal of Computer Applications, 2021, 41(3): 745-755.
[13]	LIU Yu, ZHU Chaoyang, LI Jinze, LAO Yuanji, QIN Tuanfa. d-PBFT:detection consensus algorithm for alliance blockchain [J]. Journal of Computer Applications, 2021, 41(3): 756-762.
[14]	LUO Changyin, CHEN Xuebin, MA Chundi, WANG Junyu. Online federated incremental learning algorithm for blockchain [J]. Journal of Computer Applications, 2021, 41(2): 363-371.
[15]	WU Guangfu, WANG Yingjun. Secure storage and sharing scheme of internet of vehicles data based on hybrid architecture of blockchain and cloud-edge computing [J]. Journal of Computer Applications, 2021, 41(10): 2885-2892.