一种基于验证的量子私有集合计算协议

doi:10.3969/j.issn.1007-5461.2024.02.015

量子电子学报 ›› 2024, Vol. 41 ›› Issue (2): 330-339.doi: 10.3969/j.issn.1007-5461.2024.02.015

一种基于验证的量子私有集合计算协议

刘文杰 1,2,3*, 杨奇 1, 李文博 1, 李子贤 1

( 1 南京信息工程大学软件学院, 江苏南京 210044; 2 江苏省大气环境与装备技术协同创新中心, 江苏南京 210044; 3 江苏省先进计算与智能服务工程研究中心, 江苏南京 210044 )

收稿日期:2022-05-09 修回日期:2022-06-14 出版日期:2024-03-28 发布日期:2024-03-28
通讯作者: E-mail: wenjiel@163.com E-mail:wenjiel@163.com
作者简介:刘文杰 ( 1979 - ), 湖北大冶人, 博士, 副教授, 硕士生导师, 主要从事量子密码通信、量子安全多方计算、量子算法与量子机器学习等方面的研究。E-mail: wenjiel@163.com
基金资助:
国家自然科学基金 (62071240, 61802175), 江苏省高等学校重点学术项目建设 (PAPD)

A quantum private set computation protocol based on verifiability

LIU Wenjie 1,2,3*, YANG Qi 1, LI Wenbo 1, LI Zixian 1

( 1 School of Software, Nanjing University of Information Science and Technology, Nanjing 210044, China; 2 Jiangsu Province Collaborative Innovation Center of Atmospheric Environment and Equipment Technology, Nanjing 210044, China; 3 Jiangsu Province Engineering Research Center of Advanced Computing and Intelligent Services, Nanjing 210044, China )

Received:2022-05-09 Revised:2022-06-14 Published:2024-03-28 Online:2024-03-28

摘要/Abstract

摘要： 私有集合计算是安全多方计算的重要组成部分，可以在不暴露合法参与者私有信息的情况下解决参与者之间的某些集合计算问题(如交集、并集)。然而现有的量子私有集合计算协议基本上没有考虑验证性，参与者无法确定计算结果是否正确。针对此问题，提出了一种基于验证的量子私有集合计算协议。此外，该协议还能够可选择地求解私有交集或并集问题。性能分析中通过实例证明了该协议的正确性与可验证性，并通过外部攻击和参与者攻击证明了协议的安全性。

关键词: 量子通信, 私有集合计算, 交集, 并集, 可验证

Abstract: Private set computation is an important part of secure multi-party computation, which can perform certain set computations (such as intersection, union) among the legitimate participants without revealing their private information. However, the existing quantum private set computing protocols generally do not consider verification, so participants cannot determine whether the calculation results are correct or not. To solve this problem, a quantum private set computing protocol based on verification is proposed. In addition, this protocol can selectively solve private intersection or union problems. In performance analysis, the correctness and verifiability of the protocol are proved by examples, and the security of the protocol is also proved by external attack and participant attack.

Key words: quantum communication, private set computation, set intersection, set union, verifiability DOI: 10.3969/j.issn.1007-5461.2024.02.015 基

中图分类号:

TN918

刘文杰 , 杨奇 , 李文博 , 李子贤 . 一种基于验证的量子私有集合计算协议[J]. 量子电子学报, 2024, 41(2): 330-339.

LIU Wenjie , YANG Qi , LI Wenbo , LI Zixian . A quantum private set computation protocol based on verifiability[J]. Chinese Journal of Quantum Electronics, 2024, 41(2): 330-339.

参考文献

[1]Yao Andrew Chi-Chih.Protocols for secure computations [C]. proceedings of the Proc of the 23rd Annual IEEE Symposium on Foundations of Computer Science, 1982, 1982. [2]程楠, 赵运磊.一种高效的关于两方集合并交集基数的隐私计算方法[J].密码学报, 2020, 8(2):352-64 [3]巩林明, 王道顺, 刘沫萌, 高全力, 邵连合, 王明明.基于无匹配差错的计算[J].计算机学报, 2020, 43(9):1769-90 [4]Wang Qiang, Zhou Fucai, Xu Jian, Peng Su .Tag-based verifiable delegated set intersection over outsourced private datasets [J].IEEE Transactions on Cloud Computing, 2020, 1( 1):1-1 [5]Kamara Seny, Mohassel Payman, Raykova Mariana, Sadeghian Saeed.Scaling private set intersection to billion-element sets [C]. proceedings of the International Conference on Financial Cryptography and Data Security, 195-215, Springer, 2014. [6]王勤, 魏立斐, 刘纪海, 张蕾.基于云服务器辅助的多方隐私交集计算协议[J].计算机科学, 2021, 48(10):301-307 [7]Shor Peter W.Algorithms for quantum computation: discrete logarithms and factoring [C]. proceedings of the Proceedings 35th annual symposium on foundations of computer science, 124-34, IEEE, 1994. [8]Grover Lov K.Quantum mechanics helps in searching for a needle in a haystack[J].Physical review letters, 1997, 79(2):325-328 [9]Xu Yinsong, Liu Wenjie, Yu Wenbin.Quantum forgery attacks on COPA,AES-COPA and marble authenticated encryption algorithms[J].Quantum Information Processing, 2021, 20(4):1-21 [10]Shi Runhua, Mu Yi, Zhong Hong, Zhang Shun, Cui Jie.Quantum private set intersection cardinality and its application to anonymous authentication[J].Information Sciences, 2016, 370(371):147-158 [11]Shi Run-hua.Quantum private computation of cardinality of set intersection and union[J].The European Physical Journal D, 2018, 72(12):1-6 [12]Shi Run-Hua.Efficient quantum protocol for private set intersection cardinality [J]. IEEE Access, 2018, 6(1):73102-73109 [13]Shi Runhua, Zhang Mingwu.A feasible quantum protocol for private set intersection cardinality[J].IEEE Access, 2019, 7(1):72105-72112 [14]Liu Bai, Zhang Mingwu, Shi Runhua.Quantum secure multi-party private set intersection cardinality[J].International Journal of Theoretical Physics, 2020, 59(7):1992-2007 [15]Zhang Cai, Long Yinxiang, Sun Zhiwei, Li Qin, Huang Qiong .Three-party quantum private computation of cardinalities of set intersection and union based on GHZ states [J].Scientific Reports, 2020, 10(1):1-10 [16]Wang Yongli, Hu Peichu, Xu Qiuliang.Quantum Protocols for Private Set Intersection Cardinality and Union Cardinality Based on Entanglement Swapping[J].International Journal of Theoretical Physics, 2021, 60(9):3514-28 [17]Shi Runhua, Mu Yi, Zhong Hong, Cui Jie, Zhang Shun.An efficient quantum scheme for private set intersection[J].Quantum Information Processing, 2016, 15(1):363-71 [18]Cheng Xiaogang, Guo Ren, Chen Yonghong.Cryptanalysis and improvement of a quantum private set intersection protocol[J].Quantum Information Processing, 2017, 16(2):1-8 [19]Maitra Arpita.Quantum secure two-party computation for set intersection with rational players[J].Quantum Information Processing, 2018, 17(8):1-21 [20]Debnath Sumit Kumar, Dey Kunal, Kundu Nibedita, Choudhury Tanmay .Feasible private set intersection in quantum domain [J].Quantum Information Processing, 2021, 20(1):1-11 [21]Liu Wen, Yin Hanwen.A Novel Quantum Protocol for Private Set Intersection[J].International Journal of Theoretical Physics, 2021, 60(6):2074-83 [22]Liu Wenjie, Li Wenbo, Wang Haibin. An Improved Quantum Private Set Intersection Protocol Based on Hadamard Gates [J].International Journal of Theoretical Physics, 2022, 61(3):1-11 [23]Shi Runhua, Mu Yi, Zhong Hong, Cui Jie, Zhang Shun.Two quantum protocols for oblivious set-member decision problem[J].Scientific Reports, 2015, 5(1):1-9 [24]Lo Hoi-Kwong, Ma Xiongfeng, Chen Kai .Decoy state quantum key distribution [J].Physical review letters, 2005, 94(23):230504-1-230504-4 [25]Ma Xiongfeng, Qi Bing, Zhao Yi, Lo Hoi-Kwong .Practical decoy state for quantum key distribution [J].Physical Review A, 2005, 72(1):012326-1-012326-15 [26]Gao Fei, Qin Sujuan, Wen Qiaoyan, Zhu Fuchen .A simple participant attack on the brádler-du?ek protocol [J].Quantum information computation, 2007, 7(4):329-334 [27]Song Ting-Ting, Wen Qiao-Yan, Gao Fei, Chen Hui .Participant attack and improvement to multiparty quantum secret sharing based on GHZ states [J].International Journal of Theoretical Physics, 2013, 52(1):293-301

一种基于验证的量子私有集合计算协议

A quantum private set computation protocol based on verifiability

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

[1]	程登翔 , 杨振 , 谢佳欣 , 柏明强 , 莫智文 , . N 个接收方的同时密集编码协议[J]. 量子电子学报, 2024, 41(2): 340-348.
[2]	李想 , 张可佳 , . 一种基于GHZ态的半量子双方身份认证协议[J]. 量子电子学报, 2024, 41(1): 135-142.
[3]	金振阳 , 万相奎 , 廖涛 , 陈柳平 . 基于真空涨落的高速量子随机数产生[J]. 量子电子学报, 2023, 40(6): 933-942.
[4]	朱孟正 , 苏梦远 , 公丕锋 , 张金锋 . 空间纠缠协助下对低纠缠 GHZ 态的确定性纠缠纯化[J]. 量子电子学报, 2023, 40(6): 943-951.
[5]	郭瀚 , 李云霞 , 魏家华 , 唐杰 , 王俊辉. 基于GHZ态的多方半量子安全直接通信[J]. 量子电子学报, 2023, 40(5): 738-746.
[6]	唐世彪∗ , 李志 , 郑伟军 , 张万生 , 高松 , 李亚麟 , 程节 , 蒋连军. 量子密钥分发系统防死时间攻击方案研究[J]. 量子电子学报, 2023, 40(1): 95-103.
[7]	王跃, 张可佳, ∗, 韩睿. 基于量子中心的测量型量子保密求和协议[J]. 量子电子学报, 2023, 40(1): 104-111.
[8]	李天秀, 石磊∗, 王俊辉, 李佳豪. 基于深度学习的量子信号大气衰减系数预测[J]. 量子电子学报, 2022, 39(5): 786-794.
[9]	唐晓帆. 基于微环谐振腔的宽带纠缠源制备方案[J]. 量子电子学报, 2022, 39(3): 418-422.
[10]	周文婷, 王鑫, 卞宇翔, ∗, 乔涵, 冯宝, . 基于极化码的连续变量量子密钥分发多维逆向协商协议[J]. 量子电子学报, 2021, 38(4): 460-467.
[11]	冯宝, ∗, 赵子岩 , 贾玮, 窦天琦 , 周芬, 孙钟齐 , 马海强. 基于波分复用技术的参考系无关量子密钥分发[J]. 量子电子学报, 2021, 38(3): 346-353.
[12]	王蕊聪, ∗, 冯雁, . 基于量子求和的安全多方量子排序协议[J]. 量子电子学报, 2021, 38(3): 354-364.
[13]	叶萌, 徐立坤, 黄观金, 李建辉, 刘云∗. 新型设备无关量子密钥分配协议研究[J]. 量子电子学报, 2021, 38(1): 45-49.
[14]	余松, 柏明强, 唐茜, 莫智文, ∗. 基于三粒子类GHZ态的受控量子安全直接通信协议[J]. 量子电子学报, 2021, 38(1): 57-65.
[15]	彭家寅. 基于十粒子纠缠态的三方受控联合远程态制备[J]. 量子电子学报, 2021, 38(1): 66-74.