软件学报

作者：付利青,田海博

单位：付利青，中山大学 数据科学与计算机学院, 广东 广州 510006;广东省信息安全技术重点实验室(中山大学), 广东 广州 51000611,田海博，中山大学 数据科学与计算机学院, 广东 广州 510006;广东省信息安全技术重点实验室(中山大学), 广东 广州 51000602

关键词：以太坊;智能合约;投票协议;模型检测

基金：国家重点研发计划（2017YFB0802500）；国家自然科学基金（61672550）；广东省自然科学基金（2015A030313133）

Zhao等人提出了一个比特币投票协议，使得n个投票人能够通过投票决定两个候选人中的一个接受比特币资助.投票人首先通过秘密分享、承诺和零知识证明生成各自的投票，再通过比特币交易完成投票和比特币资助，保护了投票人的隐私.此文的工作支持n个投票人生成关于m个候选人的一般性投票，并通过智能合约完成了投票和以太币资助，同样不泄露投票人的隐私.同时，该智能合约不依赖门限签名等体制，更为高效，合约的主要业务逻辑也在检测模型工具中进行了检测.

来源：2019年第11期

《软件学报》期刊编辑部

查看软件学报杂志2019年第11期