可验证的分布式盲量子计算

作     者：熊文彪 全俊宇 谢幸佳 朱江 李琴 XIONG Wenbiao;QUAN Junyu;XIE Xingjia;ZHU Jiang;LI Qin

作者机构：湘潭大学计算机学院湘潭411105 

出 版 物：《中国科学：物理学、力学、天文学》 (Scientia Sinica Physica,Mechanica & Astronomica)

年 卷 期：2024年第54卷第11期

页      面：85-95页

核心收录：

学科分类：07[理学] 0839[工学-网络空间安全] 08[工学] 070201[理学-理论物理] 081201[工学-计算机系统结构] 0702[理学-物理学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(编号:62271436) 湖南省青年科技人才计划(编号:2022RC1187)资助项目 

主　　题：盲量子计算 分布式量子计算 委托量子计算 可验证量子计算 

摘      要：盲量子计算(Blind quantum computation,简称BQC)技术让量子能力受限的用户可将量子计算任务委托给远程服务器执行,并同时保证输入、输出及算法的隐私性.但是在当前NISQ时期,由于受限于量子计算机的规模与性能,服务器无法完成大规模的量子计算任务.本文基于测量模型提出一种分布式BQC协议以扩大委托计算所能完成任务的规模.该协议将砖态结构资源态划分为两类较小规模的量子资源态,再借助优化后的非本地CZ操作将上述较小规模量子资源态纠缠成所需的较大规模的量子资源态,从而降低单个量子服务器的负担.而且优化后的非本地CZ操作的实现仅需服务器之间预共享Bell态而无需进行经典通信,这可以有效提高委托计算的并行性.此外,该协议还通过嵌入陷阱量子比特的方式实现可验证性.最后,针对未来量子服务器可能需要定期维护的情况提出一种量子服务器的替换方法.