量子科技中心_量科网

公开可验证委托是一个经典问题，涉及用户希望将资源密集型的计算任务外包给更强大但可能不可信的服务器，同时允许任何其他方高效验证计算结果的正确性。该问题在经典计算领域已被广泛研究，其中用户和服务器均为非量子设备。然而，当经典用户希望将量子电路委托给具有量子计算能力的单个证明者时，问题变得更加具有挑战性。此前的解决方案不得不依赖不切实际或非标准的密码学方法（例如不可区分混淆）来满足这一需求。在本工作中，该团队放宽了要求，提出具有时间延迟的公开可验证证明——即仅在计算（及其证明）确保完成后才公开验证密钥。该团队提出了一种实用的非交互式方案，该方案结合了承诺方案和时间锁谜题，可通过成熟且标准的后量子假设高效实现。该技术的核心思路在于利用时间锁谜题，将两轮私有可验证方案编译为带有时间戳证明的非交互式公开可验证方案，同时将量子计算和谜题求解任务一并外包。安全性在具有公共参考字符串（CRS）的量子随机预言机模型中得到证明。