• 文献检索
  • 文档翻译
  • 深度研究
  • 学术资讯
  • Suppr Zotero 插件Zotero 插件
  • 邀请有礼
  • 套餐&价格
  • 历史记录
应用&插件
Suppr Zotero 插件Zotero 插件浏览器插件Mac 客户端Windows 客户端微信小程序
定价
高级版会员购买积分包购买API积分包
服务
文献检索文档翻译深度研究API 文档MCP 服务
关于我们
关于 Suppr公司介绍联系我们用户协议隐私条款
关注我们

Suppr 超能文献

核心技术专利:CN118964589B侵权必究
粤ICP备2023148730 号-1Suppr @ 2026

文献检索

告别复杂PubMed语法,用中文像聊天一样搜索,搜遍4000万医学文献。AI智能推荐,让科研检索更轻松。

立即免费搜索

文件翻译

保留排版,准确专业,支持PDF/Word/PPT等文件格式,支持 12+语言互译。

免费翻译文档

深度研究

AI帮你快速写综述,25分钟生成高质量综述,智能提取关键信息,辅助科研写作。

立即免费体验

用于核弹头零知识验证的深度神经网络同态推理。

Homomorphic inference of deep neural networks for zero-knowledge verification of nuclear warheads.

机构信息

Extreme Light Infrastructure-Nuclear Physics, Horia Hulubei National Institute for R&D in Physics and Nuclear Engineering, Bucharest-Magurele, Romania.

出版信息

Sci Rep. 2023 May 8;13(1):7464. doi: 10.1038/s41598-023-34679-7.

DOI:10.1038/s41598-023-34679-7
PMID:37156993
原文链接:https://pmc.ncbi.nlm.nih.gov/articles/PMC10167340/
Abstract

Disarmament treaties have been the driving force towards reducing the large nuclear stockpile assembled during the Cold War. Further efforts are built around verification protocols capable of authenticating nuclear warheads while preventing the disclosure of confidential information. This type of problem falls under the scope of zero-knowledge protocols, which aim at multiple parties agreeing on a statement without conveying any information beyond the statement itself. A protocol capable of achieving all the authentication and security requirements is still not completely formulated. Here we propose a protocol that leverages the isotopic capabilities of NRF measurements and the classification abilities of neural networks. Two key elements guarantee the security of the protocol, the implementation of the template-based approach in the network's architecture and the use of homomorphic inference. Our results demonstrate the potential of developing zero-knowledge protocols for the verification of nuclear warheads using Siamese networks on encrypted spectral data.

摘要

裁军条约是减少冷战期间积累的大量核武库的主要推动力。进一步的努力围绕着验证协议展开,这些协议能够验证核弹头的真实性,同时防止机密信息的泄露。这类问题属于零知识协议的范畴,其目标是让多个方就一个声明达成一致,而不传递任何超出声明本身的信息。一个能够满足所有认证和安全要求的协议仍未完全制定出来。在这里,我们提出了一个协议,利用了 NRF 测量的同位素能力和神经网络的分类能力。两个关键要素保证了协议的安全性,即在网络架构中实现基于模板的方法,以及使用同态推理。我们的结果表明,使用加密光谱数据上的孪生网络为核弹头验证开发零知识协议具有潜力。

https://cdn.ncbi.nlm.nih.gov/pmc/blobs/ed55/10167340/0e2d7d5eec87/41598_2023_34679_Fig5_HTML.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/ed55/10167340/078f5b55cbab/41598_2023_34679_Fig1_HTML.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/ed55/10167340/c469fa44daa1/41598_2023_34679_Fig2_HTML.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/ed55/10167340/1e31a555d5b6/41598_2023_34679_Fig3_HTML.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/ed55/10167340/633245df9af0/41598_2023_34679_Fig4_HTML.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/ed55/10167340/0e2d7d5eec87/41598_2023_34679_Fig5_HTML.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/ed55/10167340/078f5b55cbab/41598_2023_34679_Fig1_HTML.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/ed55/10167340/c469fa44daa1/41598_2023_34679_Fig2_HTML.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/ed55/10167340/1e31a555d5b6/41598_2023_34679_Fig3_HTML.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/ed55/10167340/633245df9af0/41598_2023_34679_Fig4_HTML.jpg
https://cdn.ncbi.nlm.nih.gov/pmc/blobs/ed55/10167340/0e2d7d5eec87/41598_2023_34679_Fig5_HTML.jpg

相似文献

1
Homomorphic inference of deep neural networks for zero-knowledge verification of nuclear warheads.用于核弹头零知识验证的深度神经网络同态推理。
Sci Rep. 2023 May 8;13(1):7464. doi: 10.1038/s41598-023-34679-7.
2
Nuclear disarmament verification via resonant phenomena.通过共振现象实现核裁军核查。
Nat Commun. 2018 Mar 28;9(1):1259. doi: 10.1038/s41467-018-03680-4.
3
A zero-knowledge protocol for nuclear warhead verification.一种用于核弹头验证的零知识协议。
Nature. 2014 Jun 26;510(7506):497-502. doi: 10.1038/nature13457.
4
A physically cryptographic warhead verification system using neutron induced nuclear resonances.一种基于中子诱导核共振的物理密码弹头验证系统。
Nat Commun. 2019 Sep 30;10(1):4433. doi: 10.1038/s41467-019-12386-0.
5
Experimental demonstration of an isotope-sensitive warhead verification technique using nuclear resonance fluorescence.利用核共振荧光实验演示一种同位素敏感弹头验证技术。
Proc Natl Acad Sci U S A. 2018 Apr 24;115(17):4363-4368. doi: 10.1073/pnas.1721278115. Epub 2018 Apr 10.
6
EDLaaS:Fully Homomorphic Encryption over Neural Network Graphs for Vision and Private Strawberry Yield Forecasting.EDLaaS:神经网络图上的全同态加密技术,用于视觉和草莓产量的隐私预测。
Sensors (Basel). 2022 Oct 24;22(21):8124. doi: 10.3390/s22218124.
7
Minutiae matching with privacy protection based on the combination of garbled circuit and homomorphic encryption.基于混淆电路与同态加密相结合的具有隐私保护的细节匹配
ScientificWorldJournal. 2014 Feb 24;2014:525387. doi: 10.1155/2014/525387. eCollection 2014.
8
Secure tumor classification by shallow neural network using homomorphic encryption.利用同态加密实现浅层神经网络的肿瘤分类安全。
BMC Genomics. 2022 Apr 9;23(1):284. doi: 10.1186/s12864-022-08469-w.
9
Determining age of high-explosive to support nuclear warhead dismantlement verification.确定高爆炸药的年代以支持核弹头拆解核查。
Appl Radiat Isot. 2019 Jan;143:11-17. doi: 10.1016/j.apradiso.2018.10.010. Epub 2018 Oct 12.
10
Reconstruct fissile material mass of pit based on activation effect of explosive and neural network.基于爆炸激活效应和神经网络重建弹坑的可裂变材料质量。
Appl Radiat Isot. 2021 Apr;170:109626. doi: 10.1016/j.apradiso.2021.109626. Epub 2021 Feb 2.

引用本文的文献

1
A polynomial proxy model approach to verifiable decentralized federated learning.一种用于可验证的去中心化联邦学习的多项式代理模型方法。
Sci Rep. 2024 Nov 20;14(1):28786. doi: 10.1038/s41598-024-79798-x.

本文引用的文献

1
Privacy-preserving computation in the post-quantum era.后量子时代的隐私保护计算。
Natl Sci Rev. 2021 Jul 7;8(9):nwab115. doi: 10.1093/nsr/nwab115. eCollection 2021 Sep.
2
A physically cryptographic warhead verification system using neutron induced nuclear resonances.一种基于中子诱导核共振的物理密码弹头验证系统。
Nat Commun. 2019 Sep 30;10(1):4433. doi: 10.1038/s41467-019-12386-0.
3
Experimental demonstration of an isotope-sensitive warhead verification technique using nuclear resonance fluorescence.利用核共振荧光实验演示一种同位素敏感弹头验证技术。
Proc Natl Acad Sci U S A. 2018 Apr 24;115(17):4363-4368. doi: 10.1073/pnas.1721278115. Epub 2018 Apr 10.
4
Nuclear disarmament verification via resonant phenomena.通过共振现象实现核裁军核查。
Nat Commun. 2018 Mar 28;9(1):1259. doi: 10.1038/s41467-018-03680-4.
5
A physical zero-knowledge object-comparison system for nuclear warhead verification.用于核弹头验证的物理零知识目标比较系统。
Nat Commun. 2016 Sep 20;7:12890. doi: 10.1038/ncomms12890.
6
A zero-knowledge protocol for nuclear warhead verification.一种用于核弹头验证的零知识协议。
Nature. 2014 Jun 26;510(7506):497-502. doi: 10.1038/nature13457.