自我测试是一种仅基于其classical输入输出相关性来表征任意量子系统的方法,并在独立于设备与设备无关的量子信息处理以及量子复杂性理论中起重要作用。进行自我测试的事务需要假设,即系统状态在仅构成本地测量且无法交流的多个政党之间共享。在这里,我们替换了多个非沟通各方的设置,这在实践中很难通过一个计算方面的政党实践。特别是,我们构建了一个协议,该协议允许经典的验证者可靠地证明单个计算界限的量子设备必须准备好铃铛对并在其上进行了单量测量,直到将其应用于设备状态和测量值的基础上。这意味着,在计算标题下,verifier能够证明纠缠的存在,纠缠是一种通常与两个分离的子系统密切相关的属性,在一个单个量子设备内。为了实现这一目标,我们以Brakerski等人提出的技术为基础。(2018)和Mahadev(2018),允许经典的Verifier限制假设该设备不会破坏量子后加密的量子设备的作用。
主要关键词