基于全同态加密的线性时间抗胁迫投票：迈向量子安全方案
密码学与安全
2020-05-26 v2 计算复杂性
数据结构与算法
量子物理
摘要
我们提出一种利用全同态加密（FHE）在线性时间内执行Juels、Catalano与Jakobsson所引入的抗胁迫JCJ投票协议计票工作的方法。该改进亦在为JCJ提供抗量子能力铺平道路，同时保持JCJ的底层结构不变。JCJ基于明文等价检验的穷举比较方法导致选票数量呈二次方膨胀，使得在选民众多的实际场景中计票过程颇为不切实际。我们展示了如何基于近期各类FHE原语（如哈希、正确解密零知识证明、可验证乱序与门限FHE）的进展，通过一种解决方案在线性时间内完成无效选票的剔除。最后，我们简要探讨了此方法的一些优势与挑战，并进一步讨论了安全性与后量子考量。
引用
@article{arxiv.1901.02560,
title = {Coercion-Resistant Voting in Linear Time via Fully Homomorphic Encryption: Towards a Quantum-Safe Scheme},
author = {Peter B. Rønne and Arash Atashpendar and Kristian Gjøsteen and Peter Y. A. Ryan},
journal= {arXiv preprint arXiv:1901.02560},
year = {2020}
}
备注
9 pages; added acknowledgments, revised the first paragraph in the section on security remarks, revised a few sentences throughout; to appear in the proceedings of Financial Cryptography and Data Security 2019, published by Springer