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

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

扫码查看
私有集合计算是安全多方计算的重要组成部分,可以在不暴露合法参与者私有信息的情况下解决参与者之间的某些集合计算问题(如交集、并集).然而现有的量子私有集合计算协议基本上没有考虑验证性,参与者无法确定计算结果是否正确.针对此问题,提出了一种基于验证的量子私有集合计算协议.此外,该协议还能够可选择地求解私有交集或并集问题.性能分析中通过实例证明了该协议的正确性与可验证性,并通过外部攻击和参与者攻击证明了协议的安全性.
A quantum private set computation protocol based on verifiability
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.

quantum communicationprivate set computationset intersectionset unionverifiability

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

展开 >

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

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

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

量子通信 私有集合计算 交集 并集 可验证

国家自然科学基金国家自然科学基金江苏省高等学校重点学术项目建设(PAPD)

6207124061802175

2024

量子电子学报
中国光学学会基础光学专业委员会 中国科学院合肥物质科学研究院

量子电子学报

CSTPCD北大核心
影响因子:0.67
ISSN:1007-5461
年,卷(期):2024.41(2)
  • 31