面向NISQ设备的BB84会话密钥与QCA启发可逆演化轻量级量子加密及标签完整性验证

《Scientific Reports》：Practical QCA-inspired quantum encryption with BB84 key distribution for NISQ devices

　　

含噪声中等规模量子（NISQ）设备提供有限的量子比特数并受硬件噪声影响，使硬件高效的量子密码协议对实际实现至关重要。许多已提出的量子加密方案主要关注形式化安全性分析，而相对较少的方案已在NISQ硬件上得到系统评估。研究人员提出一种硬件高效的私钥量子加密协议，将BB84衍生的一次性会话密钥与量子细胞自动机（QCA）启发的可逆状态演化以及轻量级基于标签的完整性验证机制相结合；其中，受密钥控制的标签量子比特以恒定门代价实现对耦合量子比特比特翻转扰动的密钥相关检测。使用紧凑的七量子比特寄存器，通过理想模拟、密度矩阵模拟以及源自三个IBM校准快照的后端校准噪声模型对该协议进行评估。理想模拟实现完美解密保真度。在后端校准噪声下，操作正确性与错误密钥分离准则仅在一个轮数R = 2且仅在三个后端之一上同时满足，其中在独立采样的BB84会话密钥上安全差距为0.5166 ± 0.0038。评估在被动仅密文对抗模型下进行。保密性使用一次性不可区分性准则评估，以经验方式评估而非通过形式化证明确立，且不声称选择明文攻击下的不可区分性（IND-CPA）、选择密文攻击下的不可区分性（IND-CCA）或Boneh–Zhandry安全性。该评估刻画了一个后端校准工作窗口，其范围主要受两量子比特门误差支配，为所提出的QCA启发量子加密协议在后端校准硬件噪声模型下提供基于经验的评估。

研究背景与问题：随着量子计算发展，传统加密观念不仅在抗量子攻击方面，也在量子信息自身安全加密方面被重新审视。量子密码基于量子力学规律提供信息论保证；BB84量子密钥分发（QKD）可在不安全量子信道建立共享密钥并检测窃听。但多数量子密码协议在密钥生成后仍依赖经典后处理或经典密码原语加密消息，端到端全量子通信管线存在缺口。NISQ（noisy intermediate-scale quantum，含噪声中等规模量子）设备量子比特数有限且受硬件噪声影响，正确性与保密性随电路深度反向变化，实用实现困难。既有方案中，Boykin and Roychowdhury的量子一次性密码本（QOTP）密钥消耗大且不可重用；Chen et al.、Damg?rd et al.、Hu and Kais等方案或依赖强假设、或依赖无噪声假设、或未在量子硬件测试。NISQ可行方案中，Kuang and Perepechaenko的量子置换垫（QPP）在IBMQ硬件演示但无认证或噪声感知验证；Amerimehr and Dehkordi方案具认证但未硬件实现；Rodrigues et al.在Quantinuum H1-1评估公钥方案，但为经典解密且无完整性验证。研究空白在于缺少同时结合保密性、轻量完整性验证与NISQ兼容性的单一高效构造。因此，研究人员提出硬件高效私钥量子加密协议，集成BB84衍生一次性会话密钥、QCA启发可逆状态演化与单标签完整性验证，并在理想模拟、受控去极化噪声和IBM后端校准噪声下评估。结论是：理想模拟解密保真度为1；后端校准噪声下，仅在R = 2且FakeNairobiV2上同时满足操作正确性F_msg ≥ 0.85与错误密钥分离ΔF > 0.5，ΔF = 0.5166 ± 0.0038（S=300，+4.40σ）；其他后端未满足。意义在于给出经验性NISQ操作窗口，窗口由两比特门误差主导，随p₂降低而扩展，但不构成形式化密码安全保证。

关键技术方法：研究人员使用BB84 QKD层完成基选择、筛选和量子比特误码率（QBER）估计，生成一次性会话密钥；加密采用七量子比特寄存器上的QCA启发R轮演化，包括Hadamard扩散、近邻受控相位（CPHASE）（π/2）纠缠和密钥字节映射的R_z相位旋转，解密按逆序执行逆操作；完整性采用单标签量子比特，由K_tag低4位从24个单量子比特Clifford查找表选门制备，高4位选耦合索引，经CNOT与数据量子比特纠缠并在验证时逆变换后计算基测量。评估在Amazon Braket理想态矢量和密度矩阵模拟、Qiskit Aer的IBM FakeProvider校准快照（FakeJakartaV2、FakeLagosV2、FakeNairobiV2，2019–2021年校准）及校准+回退噪声模型下进行，采用嵌套会话密钥估计（S=300）和消息寄存器约化保真度、全寄存器保真度、迹距离指标。

研究结果：**正确性与可扩展性（Correctness and scalability）**：通过50次随机明文和独立会话密钥的理想态矢量全加密-解密模拟，解密度F=1.000000、标准差8.6×10^?16且无解密失败，验证实现与可逆性/正确性定理一致；测得演化门数精确等于R(3(n?1)?1)=R(3n?4)，最大11量子比特、R=8、232个演化门；标签额外0–3个Clifford门使总指令数为18–21（200个密钥），演化门数确定。**保密性与错误密钥抵抗（Confidentiality and wrong-key resistance）**：在密钥平均密文不可区分性（Key-averaged ciphertext indistinguishability）中，通过R=6理想模拟两个仅差一消息位的明文，全寄存器密钥平均密文迹距离随N_K从50增至1000由0.8003降至0.2144，近似幂律，未表征极限且不声称固定界；在错误密钥解密与轮数依赖（Wrong-key decryption and round-count dependence）中，正确密钥理想F=1且标签接受，错误密钥R=6全寄存器F=0.0078=2^?7、全寄存器安全差距0.9922、迹距离0.9961；在FakeNairobiV2噪声下消息寄存器错误密钥保真度随R=1,2,3,4,6为0.6734、0.3757、0.3123、0.2617、0.2531，正确密钥保真度随深度下降，R=1差距仅0.2743、0.289、0.277而低于τ=0.5，故R≥2。**轻量级完整性验证与篡改检测（Lightweight integrity verification and tamper detection）**：通过R=6注入单Pauli X/Y/Z扰动（目标六个数据量子比特均匀随机）各100次，标签标记13/100 X、9/100 Y、0/100 Z；对耦合量子比特直接注入Z 100次无检测，符合相位型盲性结论；标签仅提供密钥相关、概率性、部分覆盖检测。**受控去极化噪声（Controlled depolarising noise）**：通过精确密度矩阵模拟，全寄存器保真度随电路深度和噪声水平单调下降；1%噪声F=0.9543、P=0.9109、S_vN=0.4044，2%噪声F=0.9103、P=0.8297、S_vN=0.7151，5%噪声F=0.7887、P=0.6273、S_vN=1.4759；模拟与闭式去极化通道最大绝对差1.85×10^?14，正确密钥保真度下降而错误密钥近2^?7，差距缩小但仍可区分。**后端校准验证（Backend-calibrated validation）**：在两比特误差模型覆盖（Coverage of the two-qubit error model）中，通过比较无回退与校准+回退模型，未覆盖CPHASE链对无校准误差，使校准-only保真度在R=1,2,3,4,6被高估ΔF=0.005、0.013、0.026、0.041、0.065；FakeCairoV2覆盖0且F=0.9965仅示效应。轮数扫描（Round-count sweep）显示正确性R≤2满足、R≥3失败；差距R=1低，R=2在S=50未分辨（+1.2σ），R=3达+3.2σ，R=4为+0.1σ，R=6为?39.3σ；错误密钥保真度单调趋近最大混合，差距峰后下降源于正确密钥保真度损失。工作点决定性评估（Decisive evaluation at the operating point）用S=300，R=2均值0.5166、SEM=0.0038，仅FakeNairobiV2满足安全准则（+4.40σ）；三后端按两比特误差率排序，Jakarta分半0.4770/0.5091（|Δ|=0.032），Nairobi为0.5142/0.5190（|Δ|=0.005）。错误密钥保真度相对于最大混合下界（Wrong-key fidelity relative to the maximally mixed floor）中，FakeNairobiV2 R=2错误密钥F_msg=0.3743，高于0.25达0.124，不声称无泄漏；R=6才0.2531但正确性已失败。对两比特门误差的依赖与范围（Dependence on two-qubit gate error and scope）中，通过改变p₂，联合满足轮数从R=2（Nairobi中位误差）扩展到p₂=0.5%时{2,3,4}、p₂=0.3%和0.1%时[2,6]；IBM公开校准中Heron中位两比特误差约0.3%、Heron r3约1.17×10^?3，此为参数模型投影非实测；未强制路由，校准保真度为原生路由性能上界；R=2会话密钥104位<128位，需R≥3但正确性失败。评估目标总结（Summary of evaluated objectives）表明五个目标获支持，但设备校准可行性限于FakeNairobiV2 R=2单点。

讨论部分总结：讨论指出正确性与错误密钥分离随R相互牵制，窗口仅R=2且FakeNairobiV2，宽度由两比特门质量决定；仅相位旋转依赖密钥，拓扑与门序列公开；噪声下差距非单调，峰后下降是正确密钥保真度损失而非信息恢复。ΔF并非密文-only对手优势界，密文不可区分由密钥平均迹距离测；工作点错误密钥保真度0.3743高于0.25达0.124，不声称无泄漏。资源为实测门数，精确匹配；路由未强制执行，保真度为上界。对抗范围：每个会话密钥为一次性新鲜BB84材料，评估一次性不可区分性经验而非形式化；已知明文依赖不可克隆与密钥新鲜性；主动对手可通过相位扰动和未耦合数据比特绕过单标签。方法学观察：后端校准模型仅原生边赋两比特误差导致部分无噪声，需全量子比特回退；单会话估计低估方差，需嵌套采样。局限与未来：快照为2019–2021校准，投影非实测，未路由，104位密钥不足128位，篡改评估限单Pauli，消息寄存器小，不建立信息论安全、形式化一次性不可区分性证明或IND-CPA、IND-CCA、Boneh–Zhandry归约；未来包括证明一次性不可区分性、R>1态分离、极限迹距离、非对易标签交互、密钥相关拓扑、当前硬件路由验证。比较：不同于形式化安全路线和已有NISQ经验研究，本工作结合BB84一次性会话密钥、QCA启发局部演化和轻量标签，并分离密文不可区分与错误密钥分离，采用校准+回退和嵌套估计。结论翻译：本工作总结了一种QCA启发量子加密协议，结合BB84衍生一次性会话密钥、保持局域性的量子态演化和轻量级标签完整性验证机制，并在NISQ设备约束下评估。协议在理想模拟、受控去极化噪声和IBM后端校准噪声模型下评估。理想模拟下协议精确正确，错误密钥解密与授权解密显著分离。后端校准噪声下，正确性与错误密钥分离仅在三个后端中噪声最低的一个上于R=2单一后端校准工作点同时满足，而非在整个评估设计空间；其边界由两比特门质量决定并在文中量化。评估进一步区分密文不可区分性与错误密钥分离，在所采用一次性仅密文对抗模型下提供互补保密性经验度量。标签机制对评估篡改场景提供密钥相关部分覆盖检测，对相位型扰动结构盲，因此描述为完整性验证而非认证。演化门数随寄存器规模和轮数线性缩放，精确匹配分析预测，标签有常数额外开销。综上，结果证明QCA启发量子加密与集成轻量完整性验证在后端校准NISQ工作点的经验可行性。将可行窗口扩展至满足常规128位基准的会话密钥长度、建立一次性不可区分性形式化证明以及在当前世代硬件上验证路由实现仍是开放问题；该研究提供了协议在当前NISQ条件下能力与局限的基于实验的刻画。