密码学数据交换用于核弹头

摘要

核军控条约历来关注战略核运载系统，而将核弹头排除在正式核查框架之外。本文提出了一种用于安全可验证弹头追踪的密码学协议，解决了核弹头验证中的挑战，且无需侵入式物理检查。我们的系统利用承诺方案和零知识简洁非交互式知识论证（zkSNARKs），在遵守条约约束的同时保护敏感核弹头数据的机密性。我们提出了一种密码学“弹头护照”追踪系统，将承诺与单个弹头的生命周期相链接，支持定期挑战和实时条约合规性验证。我们的实现遵循现实条约约束，整合了美俄双重哈希组合器（SHA系列和GOST R 34.11系列）以满足密码学鲁棒性和政治约束，并通过防止追溯数据操纵确保前向安全性。这项工作的基础是先前军控研究的政策研究，并为实施安全、可审计的非战略核武器验证机制提供了实用基础。

评论

17页，4张图，4个表格

主题

密码学与安全（cs.CR）

引用为

arXiv:2507.20074 [cs.CR]
（或此版本的 arXiv:2507.20074v1 [cs.CR]）

https://doi.org/10.48550/arXiv.2507.20074

提交历史

来自：Neil Perry [查看电子邮件] [v1]
2025年7月26日星期六 22:16:04 UTC（1,568 KB）