随着量子优越性的日益凸显,量子计算的研究正方兴未艾。然而,实现可伸缩量子计算依然充满着困难。短期内只有少数机构拥有量子计算机,量子计算很可能以“云”的模式应用。盲量子计算提供了这样一个云方案,其中,量子能力有限的客户端可以将她的计算任务委托给一个有能力执行通用量子计算的服务器,同时保证客户端的隐私对服务器保密。在此基础上,为了使客户端验证服务器计算结果的正确性,发展了可验证盲量子计算。本文针对可验证盲量子计算中的可验证性和资源开销问题进行了深入的研究。1)本文提出了一种新的可验证盲量子计算资源态的构造方法。考虑的验证环境是一个拥有单量子比特制备能力的客户端与一个服务器之间的交互。引入了沙漏图的概念,其对应的图状态可以作为可验证盲量子计算的资源态。在经典输出的情况下,该方法的可验证性达到了0.866,所需的量子位数仅为2N+4cN,其中N和c分别是原始计算图中的顶点数和最大度。也就是说,我们的开销在计算规模上是线性较小的。最后,利用重复和容错编码的方法来优化可验证性。2)本文提出了基于并行自检测的设备无关的可验证盲量子计算。考虑的验证环境是一个完全经典的客户端与两个不通信的服务器之间的交互。利用一种并行自检测技术来提取最大纠缠态上Pauli观测的张量积的存在性。通过设计非局域游戏,提出了一个设备无关的验证协议。与其他现有协议相比,该方案具有更低的开销,开销为O(n11log n)个Bell对,其中n是原始计算的大小。3)本文提出了基于纠缠见证的可验证盲量子计算。考虑的验证环境是一个仅执行单量子比特测量的客户端与一个服务器之间的交互。利用纠缠见证来估计服务器所准备的图态的保真度,提出了对应于不同纠缠见证的验证协议。该协议的开销规模仅为O（n~2log n）个图态的副本,其中n是图态中的量子比特数目。同时协议的合理性也得到了改善。