用于安全密钥生成的量子协议的设计面临许多挑战:一方面,它们需要在实验实现方面实用。另一方面,它们的理论描述必须足够简单,以便能够针对所有可能的攻击进行安全性证明。通常,这两个要求是相互冲突的,而差分相移 (DPS) QKD 协议就是一个很好的例子:它被设计为可通过当前的光通信技术实现,而对于该协议,代价是许多标准安全性证明技术不适用于它。在这项工作中,我们首次给出了 DPS QKD 针对一般攻击(包括有限尺寸效应)的完整安全性证明。该证明结合了量子信息论、量子光学和相对论技术。我们首先给出一个 QKD 协议的安全性证明,其安全性源于相对论约束。然后我们表明 DPS QKD 可以被表述为相对论协议的一个实例。此外,我们表明,对 DPS 协议的一致攻击实际上比集体攻击更强。