2. QKD协议核心机制

量子密钥分发(QKD)的安全性并不来自数学难题,而来自量子力学的基本约束:未知量子态不可克隆、测量会扰动状态、纠缠态存在可检验的关联。不同协议把这些原理组织成不同的编码与检测方式,最终都落到两个可观测指标上——误码率(QBER)与安全密钥率。理解协议机制,本质上就是理解“信息如何编码到量子态、如何被测量、窃听会留下什么痕迹、这些痕迹如何压低最终密钥率”。

BB84:四态编码与基比对

BB84由Bennett和Brassard于1984年提出,使用两组共轭基:直角基(Z基,比特0/1对应水平/垂直偏振)和对角基(X基,比特0/1对应+45°/−45°偏振)。发送方Alice随机选择基和比特,制备单光子态;接收方Bob独立随机选择测量基。只有当双方基一致时,测量结果才具有确定性关联,这些位置构成筛选密钥(sifted key)。

BB84的关键在于:Eve若截获并测量光子,她必须猜基。猜错时她制备的态与Alice原态不一致,Bob测量结果就会以一定概率出错。若Eve对每个光子都采用“拦截—重发”攻击,理论误码率约为25%。因此QBER成为窃听强度的直接指示器。实际实现中,Alice用弱相干光源(WCS)代替理想单光子源,多光子脉冲会引入光子数分离(PNS)攻击风险,这正是诱骗态方法要解决的问题。

B92:两非正交态与时间槽

B92由Bennett于1992年提出,只用两个非正交态,例如|0⟩与|+45°⟩。Alice随机发送其中一个;Bob做投影测量,只有特定结果才保留。由于两态非正交,无法确定性区分,Bob的“成功”事件天然带有筛选效果。B92结构更简单,但筛选率低、对信道损耗更敏感,安全密钥率通常低于BB84,因此现代系统更常用BB84及其变体。

E91:纠缠与贝尔不等式检验

E91由Ekert于1991年提出,基于纠缠源产生EPR对,Alice和Bob各持一个粒子,在多个基上测量并记录结果。通过贝尔不等式(如CHSH形式)检验测量关联是否违反经典界限,可判断信道是否被窃听。E91的安全性不依赖“测量扰动”的直观图像,而依赖纠缠关联的不可伪造性。其工程实现难度较高,但为设备无关QKD(DI-QKD)提供了理论原型。

诱骗态方法:对抗PNS攻击

实际QKD多用衰减激光产生弱相干脉冲,其光子数服从泊松分布,存在多光子脉冲。Eve可对多光子脉冲实施PNS:拿走一个光子、保留其余,待Alice公布基后再测量,从而在不引入明显误码的情况下获取信息。诱骗态方法的核心是:Alice随机改变脉冲平均光子数μ,在信号态(如μ=0.5)与诱骗态(如ν=0.1)之间切换,Bob分别统计各强度下的增益Q和误码率E。若Eve对多光子脉冲下手,不同强度下的统计关系会被破坏,由此可估计单光子脉冲的增益下界与误码率上界,进而计算安全密钥率。

下面这张图给出BB84+诱骗态从量子传输到密钥提取的信号链与参数关系,重点标出QBER如何进入密钥率公式并决定最终可用密钥长度。

Alice 发送端 随机比特 + 随机基 Z基 / X基 编码 诱骗态强度切换 μ=0.5, ν=0.1 弱相干脉冲源 量子信道 光纤 / 自由空间 损耗 η, 暗计数 p_d Eve 可能窃听 Bob 接收端 随机选择测量基 单光子探测器 记录时间槽与结果 统计增益 Q_μ, Q_ν 误码率 E_μ, E_ν 经典后处理 基比对 → 筛选密钥 误码估计 → QBER 纠错 (LDPC/Cascade) 隐私放大 (哈希压缩) 输出最终安全密钥 安全密钥率(诱骗态 BB84,渐近形式) R ≥ q · { −Q_μ f(E_μ) H₂(E_μ) + Q₁[1 − H₂(e₁)] } q:基比对因子;f:纠错效率;Q₁、e₁:单光子增益与误码率;H₂:二元熵 QBER 升高 → H₂(E_μ) 增大 → 可提取密钥率下降 QBER 与密钥率关系(示意) QBER R 安全阈值 ≈ 11% 低 QBER:密钥率较高 超过阈值:R=0

密钥率与误码率:从QBER到最终密钥

筛选后,双方公布基并保留基一致的位置,得到原始密钥。随后进行误码估计:随机抽取一部分比特比对,估计QBER。若QBER低于安全阈值,进入纠错与隐私放大。以诱骗态BB84的渐近密钥率为例:

R ≥ q · { −Q_μ · f(E_μ) · H₂(E_μ) + Q₁ · [1 − H₂(e₁)] }

其中:
q      = 基比对因子(BB84约1/2)
Q_μ    = 信号态总增益
E_μ    = 信号态总误码率
f      = 纠错效率(典型1.1~1.2)
Q₁     = 单光子脉冲增益下界
e₁     = 单光子误码率上界
H₂(x)  = −x·log₂x − (1−x)·log₂(1−x)

公式中第一项是纠错泄露的信息量,第二项是单光子贡献的可提取信息量。QBER升高时,H₂(E_μ)增大,纠错代价上升;同时e₁上升使H₂(e₁)增大,隐私放大压缩更多。当QBER超过约11%(BB84渐近阈值,实际随f和诱骗态估计略有浮动),R降为0,协议中止。工程上常把QBER分为三档:低于3%可稳定成钥;3%~8%需加强监控并可能降低密钥率;接近或超过阈值则判定信道异常,应检查探测器暗计数、光源强度漂移或是否存在强窃听。

诱骗态估计的关键是:信号态与诱骗态的增益、误码率必须分别统计。若Eve只攻击多光子脉冲,诱骗态(低μ)中多光子比例更低,其误码率会明显低于信号态,从而暴露异常。实际系统通常用两个诱骗态(ν₁、ν₂)加一个信号态,以更紧地约束Q₁和e₁。
B92与E91在教学中常作为原理对照,但工程部署中BB84+诱骗态仍是主流。评估任何QKD系统时,不能只看“是否成钥”,必须同时记录QBER、筛选率、单光子增益估计和最终密钥率,否则无法判断安全性余量。

综上,BB84提供四态编码与基比对框架,B92用非正交态简化但牺牲效率,E91用纠缠与贝尔检验提供不同安全视角,诱骗态方法则把实际弱相干源拉回安全边界。QBER是贯穿所有协议的“体检指标”,密钥率公式把QBER、增益、纠错效率和隐私放大压缩量统一到一个可计算、可判断的数值上。掌握这条从量子态到最终密钥的信号链,才能在后继章节中分析具体攻击与防御措施。