摘要
Zhao等人提出了一个比特币投票协议,使得n个投票人能够通过投票决定两个候选人中的一个接受比特币资助.投票人首先通过秘密分享、承诺和零知识证明生成各自的投票,再通过比特币交易完成投票和比特币资助,保护了投票人的隐私.此文的工作支持n个投票人生成关于m个候选人的一般性投票,并通过智能合约完成了投票和以太币资助,同样不泄露投票人的隐私.同时,该智能合约不依赖门限签名等体制,更为高效,合约的主要业务逻辑也在检测模型工具中进行了检测.
Zhao and Chan recently proposed a bitcoin voting protocol that allows n voters to vote for one of two candidates to receive bitcoin funding.Voters first generated their votes by secret sharing,commitment,and zero knowledge proof techniques,and then voted and funded the candidates by Bitcoins through bitcoin transactions,which protected the privacy of voters.This study supports n voters to produce general votes for m candidates,and to vote and fund the candidates by Ethereum coins through smart contracts.Meanwhile,the smart contract in this study does not rely on a threshold signature scheme and is more efficient,and the main business logic of the contract is tested in a model checking tool.
作者
付利青
田海博
FU Li-Qing;TIAN Hai-Bo(School of Data and Computer Science,Sun Yat-Sen University,Guangzhou 510006,China;Guangdong Key Laboratory of Information Security Technology(Sun Yat-Sen University),Guangzhou 510006,China)
出处
《软件学报》
EI
CSCD
北大核心
2019年第11期3486-3502,共17页
Journal of Software
基金
国家重点研发计划(2017YFB0802500)
国家自然科学基金(61672550)
广东省自然科学基金(2015A030313133)~~
关键词
以太坊
智能合约
投票协议
模型检测
Ethereum
smart contract
voting protocol
model checking