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

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