盲签名实现的匿名投票协议

作者: , 共 927 字 , 共阅读 0
系列:机器统治世界

查看该系列所有文章

想起比多中心的匿名投票协议,有一种很简单的使用盲签名的投票协议,可以做到匿名投票。

1、具体流程

该协议的核心之处在于有一个验证机构,用于出具投票资格验证。投票人用资格证明去匿名投票:

  1. 验证机构有一个投票人列表。
  2. 每个投票人生成一个公钥私钥对,并将公钥$p$盲化后得到$p'$发送给验证机构。验证机构检查投票人的资格,然后对盲化的公钥$p'$进行签名。
  3. 投票人对收到的盲化公钥签名进行反盲化,便得到验证机构对公钥的签名。
  4. 投票人用第 2 步中的私钥加密自己的投票和上一步中得到的公钥签名,和公钥$p$一起发布。
  5. 计票人(任何人)统计所有所有的投票,并进行累加。

这里的核心之处在于,投票中用的是公钥$p$,但验证机构只能看到$p'$,也就是说它无法将投票人和投票关联起来。

2、盲签名算法

上述协议最核心之处是盲签名算法。RSA 本身便能实现盲签名算法。假设签名者公布的公钥为$(n, e)$,私钥为$(n, c)$。假设需要进行盲签名的文本为$x$,那么盲签名可分为三步:

  1. 盲化$x$:需签名的用户随机选取和$n$互质的$r$,计算$x' = xr^e$,并发送给签名者。
  2. 签名者对$x'$进行签名,得到签名$y'=(x')^c = x^cr^{ec}=x^cr$
  3. 用户对签名进行反盲化:$y = y'/r=x^c$便是对原始文本$x$的签名。

3、缺陷

看上去这个比前面的双中心的匿名投票协议会更好,因为该中心绝对无法破坏匿名性。而在双中心协议中,两个中心合谋会破坏匿名性。

但该协议也有两个缺陷:

  1. 验证机构可以拒绝服务。由于投票者必须实名提交验证,验证机构可以拒绝某些人的投票(假设验证机构被共和党所控制,它可以拒绝民主党人的验证申请,比如假装没收到申请等等)。
  2. 验证机构可以伪造不存在的用户,甚至伪造投票者的投票。

在清华大学的一篇论文一种安全、实用的电子投票系统中,作者试图通过设置多个验证中心,投票者只需要经过其中若干个验证中心验证便算作有效投票。但这只是缓解,而不是完全解决上面的缺陷。

Q. E. D.

系列: 机器统治世界 »
今天北京车牌摇号开奖,如果只有一倍概率,中签概率只有万分之四,估计这一辈子都中不了吧。北京车牌目前有巨大的利益,组织者如何保证其中没有猫腻呢?
机器统治世界,其中一个重要的部分便是安全计算。而这一领域的开创性工作便是姚期智先生的「姚氏百万富翁问题」。相关的工作发表于 1982 年 FOCS 上的的《Protocols for secure computations》
类似文章:
机器统治世界提到,随着科技的发展,我们可以直接用机器来替代政府。所谓机器统治世界,并不意味着机器是世界的主人。机器还是听命于人类,只不过以一种无法被干预的民主投票的方式。所以,机器统计世界的第一要解决的问题就是投票协议。
比特币协议里使用了 ECDSA (椭圆曲线签名算法),我之前以为它和基于大数分解的 RSA 公钥密码体系差不多。这两天看了下维基百科,才发现它们之间的差异挺大。
机器统治世界,其中一个重要的部分便是安全计算。而这一领域的开创性工作便是姚期智先生的「姚氏百万富翁问题」。相关的工作发表于 1982 年 FOCS 上的的《Protocols for secure computations》
网络的力量太大,这两次把问题放到网上不到半天,这些问题不但被解答,而且连出处都被翻出来了。这让我自己少了很多思考的乐趣。以后不能把问题太快放到网上。
今天北京车牌摇号开奖,如果只有一倍概率,中签概率只有万分之四,估计这一辈子都中不了吧。北京车牌目前有巨大的利益,组织者如何保证其中没有猫腻呢?
IT » 比特币
最近 bitcoin 很火,我也是最先从云风那里了解到的,后来发现李笑来&霍炬对其都有涉及。不过他们对其具体技术原理的描述还是不够细致,所以我自己把bitcoin wiki又重新看了一遍。 看完之后,疑惑挺多,我对这个体系远没有前面三位这么乐观。诚然,它会成为"Geeks "手中的玩物甚至灰色交易的工具,但要说的达到「一出天下反」的程度,那还需要解决一些技术和金融方面的问题。
迪菲-赫尔曼密钥交换( Diffie–Hellman key exchange ,简称「D–H」) 是一种安全协议。它可以让双方在完全没有对方任何预先信息的条件下通过不安全信道建立起一个密钥。这个密钥可以在后续的通讯中作为对称密钥来加密通讯内容。
相似度: 0.073
最近《流浪地球》的热映,掀起了科幻热潮。很多人都在为电影和小说里的情节和逻辑争论不休。而我更感兴趣的是政府形态。
Tox 是一个开源的实时通信协议,不需要中央服务器,提供多种跨平台的客户端。
IT » 比特币, 数字货币
最近看到一篇文章Satoshi』s Genius: Unexpected Ways in which Bitcoin Dodged Some Cryptographic Bullets,国内有人翻译过(中本聪的天才:比特币以意想不到的方式躲开了一些密码学子弹)。里面说的第一个就是天才的中本聪并不是将公钥而是将公钥两次 HASH 之后作为比特币账户的地址,这可以让比特币系统抵抗量子计算机的攻击。
数学 » 奥数
这次中国队在罗马尼亚数学大师赛败北,引起巨大的舆论论战,甚至上了人民日报的评论。以前从来没出现过这种情况。作为吃瓜群众,觉得特别有意思。
数学 » 奥数
最近的罗马尼亚数学大师赛,中国队的成绩成了舆论焦点。其实,最近几年,中国奥数的成绩比往年略有下滑,同时美国和韩国队在崛起。在此介绍一些我了解到的事情,供各位吃瓜群众参考。