目录
[1 安全辅助量子计算协议](#1 安全辅助量子计算协议)
[2 协议改进](#2 协议改进)
[3 总结](#3 总结)
摘要
本周主要学习了安全辅助量子协议，了解了其思想、流程以及大致分类等知识点，同时学习了服务器在实现非 clifford 门时的改进方法。
Abstract
This week, I mainly studied secure assisted quantum protocols, learning about their underlying ideas, workflows, and broad classifications, among other topics. I also learned about the improved methods used by servers when implementing non-Clifford gates.
1 安全辅助量子计算协议
在可预见的未来，通用量子计算机很可能以云端量子服务的形式出现，普通用户只拥有极弱的量子设备（甚至只有经典设备），却希望在不可信的量子服务器上运行机密算法，这就产生两个核心需，即隐藏计算内容与确保服务器没有返回虚假结果。
安全辅助量子计算协议（Secure Assisted Quantum Computation Protocols）正是为了同时实现这两个目标而设计的。它指的是一类密码学协议，允许一个量子能力有限的客户端（例如只能制备单量子比特或执行简单测量），在不可信量子服务器的辅助下完成通用量子计算，并保证服务器在无法知道客户端的输入、输出以及正在执行的算法（隐私性，盲性）的同时客户端能以高置信度检测服务器是否诚实执行计算（可验证性）。
p.s. 盲性是一个更专有、动作导向的术语，尤其强调算法逻辑本身也被隐藏；隐私性则更为宽泛和结果导向的术语，只关心"用户的秘密有没有泄露"。
这类协议的服务器视角下所有量子态都是最大混合态，算法和输入在信息论意义下完全隐藏，其大致流程如下：
首先，由量子能力有限的客户端（Alice）对输入的量子态 进行如下加密。并发送给服务器端（Bob），其中 j、k 的值在 0~1 之间，由Alice 随机选取；
其次，Bob 依据 Alice 的要求对接收到的量子态执行对应的量子门操作（如下图），并将操作后的量子态发送给 Alice；
最后，Alice 根据前面 j、k 的值对接收到的量子态解密并获得计算结果。
根据客户端具备的最小量子能力，可将协议分为以下几类。
首先是客户端制备量子态，即单服务器盲计算。其代表协议为通用盲量子计算（UBQC），由 Broadbent 等人在 2009 年基于测量型量子计算模型提出，客户端只需拥有制备单量子比特态的能力，而服务器需要能够执行各类量子门操作及纠缠测量等。
其次是可验证的盲量子计算，主要是在 UBQC 基础上，通过插入陷阱量子比特（trap qubits）检测作弊服务器进行改进。客户端在计算图态中随机嵌入隔离的陷阱位，这些位对服务器隐蔽，其理想测量结果客户端已知，若服务器篡改计算，必然以高概率扰动陷阱位，从而被客户端检测。
最后是客户端仅执行测量，即服务器制备态，进一步降低了对客户端的要求，客户端甚至不需制备量子态，只做测量。其代表协议为仅测量客户端盲计算盲性通过客户端随机选择测量基实现；但单服务器下完全可验证性较难，通常需结合双服务器或后量子假设。
2 协议改进
该部分主要介绍在前一节 Bob 在执行 T 门上的改进。
在上一节的流程部分，可以观察到 Bob 在执行 T 门时需要依赖辅助量子比特与特殊构造。这是因为 T 门与 CNOT 门、H 门不同，不属于 Clifford 群，不能简单用 Pauli 进行纠错或传播，操作不封闭。
其实现方式主要包括两种。
第一种是不直接做 T 门，而将其拆分为纠缠资源、Clifford操作、以及测量与经典修正三个部分，具体量子电路如下图所示。首先利用两个态 制备 BELL 态 ，并将其与待传态进行纠缠，并测量进行纠错。
第二种则是通过纠缠态来实现，具体电路图如下。
这两种方法虽然都引入了两个辅助量子比特，但用额外的量子资源换取了非Clifford门（T门）的可控实现能力。方法一不仅把原本直接作用在量子态上的 T 门通过测量结果与 Pauli 修正实现，还降低了对服务器信任的要求，使结构更适合盲计算；方法二则使 T 门成为了隐形传态过程的一部分，使其更容易扩展到分布式量子计算。
3 总结
本周主要学习了安全辅助量子计算协议及其改进，由于是课程内容所以插了个队，课本是清华出版社的量子计算导论，另外对其做了一些补充。改进花了一些时间理解跟学习，感觉涉及的方向稍有一些狭窄。下周打算完成论文复现，并复盘复现思路。