核弹头的加密数据交换
密码学与安全
2025-09-05 v2
摘要
核武器控制条约历史上关注的是战略核制导系统, 从而间接限制战略核弹头数量, 并将非战略核弹头(NSNW)排除在正式验证框架之外. 本文提出一种加密协议, 实现对核弹头跟踪的安全与可验证性, 以解决核弹头验证中不要求侵入性物理检查的挑战. 我们的系统利用承诺方案和零知识简洁非交互式知识证明(zkSNARKs) 以确保符合条约约束, 同时保护敏感核弹头数据的机密性. 我们提出加密的"战斗护照"跟踪系统, 通过链式承诺对 individual 弹头进行生命周期跟踪, 以实现周期性挑战和实时条约合规性验证. 我们的实现遵循实际条约约束, 集成美俄双哈希组合器(SHA 系列和 GOST R 34.11 系列), 以确保加密鲁棒性和政治约束, 并通过防止回溯数据操纵实现前向安全. 本工作建立在 prior arms control 研究的政策研究基础上, 为实现安全、可审计的 NSNW 验证机制提供了实用基础.
引用
@article{arxiv.2507.20074,
title = {Cryptographic Data Exchange for Nuclear Warheads},
author = {Neil Perry and Daniil Zhukov},
journal= {arXiv preprint arXiv:2507.20074},
year = {2025}
}
备注
17 pages, 4 figures, 4 tables