1. BB84协议工程化概述
BB84协议在教科书中的描述通常只有几行：Alice随机选择两组基（Z基与X基）之一，制备四种偏振态之一发送给Bob；Bob随机选择测量基进行测量；双方通过经典信道比对基的选择，保留基一致的比特，再抽样一部分比特估计误码率，最后进行纠错与隐私放大。这套逻辑在数学上已经被证明是无条件安全的，但把它变成一台能在机房、光纤链路或自由空间链路上连续运行、自动协商密钥、自动告警、自动恢复的设备，中间隔着一整套工程问题。
本章不展开BB84的安全性证明，而是先建立工程视角：一个可交付的QKD系统由哪些物理与逻辑部件构成，理论协议在哪些环节会“失真”，以及这些失真如何转化为可测量的工程指标。理解这些约束，是后续章节讨论光源、探测器、同步、后处理与成码率的前提。
1.1 理论协议与物理实现之间的“缝隙”
理想BB84假设：单光子源、理想单光子探测器、无损耗无噪声信道、攻击者只能窃听不能篡改经典信道。真实系统在这四个假设上都会偏离：
- 光源不是单光子源。工程上常用弱相干态激光器，其光子数服从泊松分布。当平均光子数 μ=0.1 时，仍有约 0.5% 的脉冲含两个及以上光子，这为光子数分离（PNS）攻击留下空间，必须用诱骗态方法补偿。
- 探测器不是理想单光子探测器。InGaAs雪崩二极管存在暗计数（典型 10⁻⁶～10⁻⁵/ns）、探测效率（10%～30%）、死时间（约 10～100 ns）和后脉冲。这些参数直接决定最大安全传输距离与成码率。
- 信道有损耗与偏振漂移。标准单模光纤在1550 nm窗口损耗约 0.2 dB/km，50 km链路即衰减10 dB；同时温度、应力导致偏振态缓慢漂移，需要主动偏振补偿或偏振编码改为相位/时间编码。
- 经典信道可被篡改。认证必须使用信息论安全的消息认证码（如基于通用哈希的Wegman-Carter方案），且每次消耗的密钥量必须计入密钥预算。
这些偏离不是“误差”，而是系统设计必须显式建模的物理约束。工程化的第一步，就是把协议中的抽象符号映射为可标定、可监控的物理量。
1.2 系统级架构与信号链
从信号流角度看，BB84系统可以划分为发送端（Alice）、量子信道、接收端（Bob）和经典后处理四个域。下图给出一个典型的偏振编码BB84系统信号链与关键接口，图中标注了各环节的主要工程参数，便于后续章节逐项展开。
图中红色实线表示量子信号路径，紫色虚线表示经典认证路径。工程上必须保证两条路径在时间上严格对齐：Bob的探测门必须与Alice的脉冲发射时刻同步，否则暗计数与误码会急剧上升。同步误差通常要求控制在门宽的十分之一以内。
1.3 关键工程约束与设计目标
把上述信号链落到具体设计指标，可以归纳为四类约束：
| 约束类别 | 典型工程指标 | 对系统的影响 |
|---|---|---|
| 光源与调制 | μ=0.1～0.5，消光比>20 dB，重复频率 100 MHz～1 GHz | 决定脉冲光子数分布与PNS攻击余量 |
| 探测与同步 | 探测效率 10%～30%，暗计数 <10⁻⁵/ns，时间抖动 <100 ps | 决定QBER下限与最大传输距离 |
| 信道与补偿 | 损耗 0.2 dB/km，偏振漂移 <1 rad/s，补偿周期 <1 s | 决定筛选后有效计数率与稳定性 |
| 后处理与认证 | 纠错效率 f≈1.1～1.2，隐私放大压缩比，MAC密钥消耗 | 决定最终安全密钥率与密钥预算 |
设计目标不是单一最大化成码率，而是在给定距离、给定QBER上限（通常要求低于11%的Shor-Preskill阈值）下，保证密钥的安全性、可用性与可维护性三者平衡。例如，一味提高μ可以增加计数率，但会放大PNS风险；一味降低μ可以提升安全性，但成码率会迅速下降。工程参数的选择本质上是在安全边界内做折中。
1.4 从协议到系统的三个工程化动作
综合来看，BB84工程化可以概括为三个动作：
- 物理层标定：测量光源μ、探测器效率与暗计数、信道损耗、偏振漂移速率，建立参数基线。这些参数不是一次性测量，而是需要在线监控，因为器件老化与环境变化会使其漂移。
- 协议层补偿：用诱骗态方法抵抗PNS攻击，用强光参考脉冲或时间复用方案补偿偏振漂移，用信息论安全MAC保证经典信道认证，用纠错与隐私放大把原始比特转化为安全密钥。
- 系统层监控与恢复：实时计算QBER，当QBER超过阈值时判定存在窃听或链路异常，主动中止密钥生成并告警；当同步丢失或偏振补偿失效时，自动进入重同步流程。