[发明专利]可证实的秘密洗牌及其对于电子表决的应用

摘要

一种提供了针对模整数序列(k)(进行可证实的洗牌)的密码协议的数学构造，并讨论了其对于保密的、全体可证实的、多授权选举方案的应用。洗牌操作的输出是另一模整数序列(k)，其中的每一个均是相应输入元素的相同秘密次幂，但对输出中的元素次序进行保密。尽管对于“洗牌者”(选择所要应用的元素变序的人)，从输入计算输出是很平常的事，但构造非常重要，因为其提供了一个或多个任意验证者可以检查的输出序列的正确性的线性规模证明(即，所声明的形式的证明)。在特定的情况下，所述协议表现为诚实验证者零知识，而且通常是计算零知识。在得到最后结果的过程中，我们还构建离散对数等式的公知Chaum－Pedersen协议的推广([3]，[2])。事实上，所述推广(精确地)限定于(k)＝2情况下的Chaum－Pedersen协议。此结果可以与其自身相关。给出了对电子选举的应用，与当前最好协议的特征匹配，并提供了极为有效的改进。同样给出了对电子选举的替代应用，引入了用于获得(全体可证实的)选举的全新范例。

主权项

1.一种用于接收元素序列的计算机系统，包括：服务器计算机，与计算机网络相连，并配置用于：接收代表个人数据文件的电子数据元素序列，应用至少使用秘密密钥的密码转换，对所述电子数据元素序列进行匿名变序，并产生电子数据元素的洗牌后序列，其中，所述服务器计算机知道所述电子数据元素的洗牌后序列与所述电子元素序列之间的对应性，以及其中所述服务器计算机还配置用于：根据加密数据元素的第一序列的未加密元素值的乘积等于加密数据元素的第二序列的未加密元素值的乘积的证明，产生所述变序的正确性的证明。