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

第41卷第2期量子电子学报Vol.41No.2

2024年3月CHINESEJOURNALOFQUANTUMELECTRONICSMar.2024

DODOII::10.3969/j.issn.1007-5461.2024.02.015

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

1,2,3*111

刘文杰,杨奇,李文博,李子贤

(1南京信息工程大学软件学院,江苏南京210044;

2江苏省大气环境与装备技术协同创新中心,江苏南京210044;

3江苏省先进计算与智能服务工程研究中心,江苏南京210044)

摘要::私有集合计算是安全多方计算的重要组成部分，可以在不暴露合法参与者私有信息的情况下解决参与者之

间的某些集合计算问题(如交集、并集)。然而现有的量子私有集合计算协议基本上没有考虑验证性，参与者无法确

定计算结果是否正确。针对此问题，提出了一种基于验证的量子私有集合计算协议。此外，该协议还能够可选择地

求解私有交集或并集问题。性能分析中通过实例证明了该协议的正确性与可验证性，并通过外部攻击和参与者攻

击证明了协议的安全性。

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

中图分类号::TN918文献标识码::A文章编号::1007-5461(2024)02-00330-10

Aquantumprivatesetcomputationprotocol

basedonverifiability

1,2,3*111

LIUWenjie,YANGQi,LIWenbo,LIZixian

(1SchoolofSoftware,NanjingUniversityofInformationScienceandTechnology,Nanjing210044,China;

2JiangsuProvinceCollaborativeInnovationCenterofAtmosphericEnvironmentandEquipmentTechnology,Nanjing210044,China;

3JiangsuProvinceEngineeringResearchCenterofAdvancedComputingandIntelligentServices,Nanjing210044,China)

AbstracAbstractt::Privatesetcomputationisanimportantpartofsecuremulti-partycomputation,whichcan

performcertainset