[论文解读] A quantum secret ballot

Shahar Dolev, Itamar Pitowsky+1 more|ArXiv.org|Feb 9, 2006

Quantum Mechanics and Applications参考文献 1被引用 10

一句话总结

该论文提出了一种量子投票协议，通过在纠缠量子比特态中编码选票来确保选票秘密性，其中每张选票显式包含选民身份，但通过量子测量的随机性使选票内容保持隐藏。选举结果通过模m的测量结果求和确定，实现无歧义计票，同时借助量子纠缠和离散傅里叶变换保护隐私。

ABSTRACT

The paper concerns the protection of the secrecy of ballots, so that the identity of the voters cannot be matched with their vote. To achieve this we use an entangled quantum state to represent the ballots. Each ballot includes the identity of the voter, explicitly marked on the "envelope" containing it. Measuring the content of the envelope yields a random number which reveals no information about the vote. However, the outcome of the elections can be unambiguously decided after adding the random numbers from all envelopes. We consider a few versions of the protocol and their complexity of implementation.

研究动机与目标

• 为电子投票中的选票秘密性问题提供解决方案，特别是在选民身份可能通过标记选票或侧信道攻击与投票内容关联的场景下。
• 设计一种量子协议，使投票可无歧义计票，同时确保即使选民身份在选票上明确记录，也无法将任何单个投票与选民关联。
• 通过利用现有的量子操作（如离散傅里叶变换和可控非门）提供实际的实现路径。
• 将协议推广至处理二元选择（如“是/否”）以外的多候选人情况，同时保持安全性和效率。
• 分析并最小化协议的计算复杂度，使其在中等规模量子硬件上具备现实部署可行性。

提出的方法

• 协议使用类似于Greenberger-Horne-Zeilinger（GHZ）的纠缠态 |W⟩ = 1/√m Σⱼ |j⟩⊗ⁿ，其中n个量子比特处于计算基态的叠加态。
• 每位选民根据其投票选择（“否”或“是”）应用量子傅里叶变换（QFT）或QFT后接循环移位算符Π（即Π|j⟩ = |j⊕1⟩）。
• 投票操作按每个量子比特独立执行，最终态 |V⟩ 通过干涉效应编码了模m意义下的“是”票总数。
• 最终态坍缩为计算基态的叠加，其中测量结果满足 l₁⊕a₁ + ... + lₙ⊕aₙ ≡ 0 (mod m)，从而可通过测量无歧义提取“是”票总数。
• 对于多候选人（如三人），使用两个纠缠态 |W⟩₁ 和 |W⟩₂，对不同候选人选择应用不同的酉操作，使总票数可通过测量结果的模运算重建。
• 协议通过将模数m分解为互质因子m₁, m₂, ..., mₛ，利用中国剩余定理，降低电路深度，实现更小规模量子电路的可扩展实现。

实验结果

研究问题

• RQ1 能否设计一种量子协议，使得选民身份在选票上公开可见，但任何窃听者或恶意权威机构都无法获取其实际投票内容？
• RQ2 如何从量子测量中无歧义地确定“是”票总数，而无需暴露任何个体投票？
• RQ3 使用纠缠和酉操作实现安全、可扩展且可验证的电子投票系统，其最小量子电路复杂度是多少？
• RQ4 如何在保持隐私性和正确性的前提下，将协议推广至支持超过两个候选人的场景？
• RQ5 通过将模数m进行模分解，能否使协议更鲁棒且高效，从而减少所需量子比特数和量子门数？

主要发现

• 该协议确保了完美的选票秘密性：即使选民身份被标记在选票信封上，测量量子态仅返回一个随机数，完全不泄露投票内容。
• “是”票总数可无歧义地从测量结果中恢复，因为最终态仅包含满足 l₁⊕a₁ + ... + lₙ⊕aₙ ≡ 0 (mod m) 的项，从而编码了总“是”票数。
• 对于二元投票（“是”/“否”），协议简化为单个纠缠态 |W⟩，投票后的最终态与所有满足 l₁⊕a₁ + ... + lₙ⊕aₙ ≡ 0 (mod m) 的计算基态之和成正比，从而编码了总“是”票数。
• 通过使用k−1个纠缠态并针对每个候选人应用不同的酉操作，协议可推广至k个候选人，总票数可通过测量结果的模运算重建。
• 协议的复杂度为 O[n(log₂m)²]，其中n为选民人数，m为大于n的最小2的幂，使其在当前量子硬件约束下适用于中等规模选举。
• 通过将m分解为互质因子m₁, m₂, ..., mₛ，协议可使用更小的量子电路实现，减少门数和电路深度，同时通过中国剩余定理保持正确性。