7、设备无关量子密钥分发（DIQKD）协议详解

设备无关量子密钥分发（DIQKD）协议详解

1. 引言

设备无关量子密钥分发（DIQKD）是量子密码学中的一个重要领域。在DIQKD中，Alice和Bob通过与一个不可信设备交互来生成密钥。他们会根据观察到的数据（即输入和输出）计算平均获胜概率，如果该概率低于协议定义的预期获胜概率，就会终止协议；否则，他们会进行经典后处理步骤，以创建相同且均匀分布的密钥。

自Barrett等人首次提出DIQKD安全性的“概念证明”以来，一系列研究探索了设备无关范式在多个密码学任务中的应用，包括QKD、随机数扩展和放大、验证量子计算、比特承诺和弱字符串擦除等。

2. DIQKD安全定义

DIQKD协议涉及两个可信方（Alice和Bob）与一个不可信设备的交互。协议结束时，双方分别输出长度为ℓ的密钥$\tilde{K}_A$和$\tilde{K}_B$。而敌手Eve的目标是在不被检测到的情况下获取尽可能多的密钥信息。

DIQKD协议的正确性、保密性和整体安全性定义如下：
- 正确性（Correctness） ：若使用设备D实现的DIQKD协议中，Alice和Bob的密钥$\tilde{K} A$和$\tilde{K}_B$相同的概率至少为$1 - \epsilon {corr}$，即$Pr(\tilde{K} A \neq \tilde{K}_B) \leq \epsilon {corr}$，则称该协议是$\epsilon_{corr}$ - 正确的。
- 保密性（Secrecy） ：对于使用设备D实现的长度为ℓ的密钥