科研之友
微信
新浪微博
Facebook
分享链接
摘要
作为一种具有法律约束力的程序，智能合约为电子投票系统提供了可信执行平台．然而，由于合约部署在公开透明的区块链上，这将为投票内容的有效性与隐私性带来巨大威胁．为了解决上述问题，基于交互式零知识证明技术设计了智能合约投票系统．首先，提出了一个新的交互式零知识集合成员关系证明协议，使得投票者在不泄露投票内容的前提下，完成对投票内容有效性的验证，从而避免无效选票对投票系统的影响．其次，本文通过智能合约规范语言SPESC对投票合约进行描述并对投票各个阶段的触发条件进行限定，通过将合约以JAR包形式上传至区块链，实现智能合约投票系统的部署和自动化执行．最后，对智能合约投票系统的性能进行分析，实验结果表明该系统投票和计票阶段均可高效实施，为密码协议构造技术与智能合约投票系统的有效结合提供参考．
-
单位海信集团有限公司; 北京科技大学
