量子性证明是一种质询-响应协议,其中经典验证者可以有效地证明不受信任的证明者的量子优势。也就是说,量子证明者可以正确回答验证者的质询并被接受,而任何多项式时间经典证明者都将基于合理的计算假设被高概率拒绝。为了回答验证者的质询,现有的量子性证明通常要求量子证明者执行多项式大小的量子电路和测量的组合。在本文中,我们给出了两种量子性证明构造,其中证明者只需执行恒定深度量子电路(和测量)以及对数深度经典计算。我们的第一个构造是一个通用编译器,它允许我们将所有现有的量子性证明转换为恒定量子深度版本。我们的第二个构造基于舍入问题学习,并且产生的电路深度比通用构造更短,需要的量子位更少。此外,第二种构造对噪声也具有一定的鲁棒性。