密码证明为无核世界铺平了道路

时间:2018-02-01 01:47:41166网络整理admin

作者:Jacob Aron(图片来源:Sipa Press / Rex)密码学家设计的数学技巧可能是核裁军的关键工具目前的裁军条约限制了一个国家已部署并准备使用的核弹头数量未来的条约也可能对存储的条约施加限制,但是一个国家可以模拟一个假的存储中心并销毁其导弹以进行展示 - 同时保持其真正的库存不变辐射扫描可以验证未部署的弹头是真实的,但也会泄露秘密细节,使各国不愿意同意普林斯顿大学的Alexander Glaser说:“专家可以查看辐射特征并对设计进行逆向工程” ??专家可以看一下辐射特征和反向工程弹头的设计??为了验证标记为破坏的弹头是否真实而没有泄漏国家的秘密,Glaser和他的同事转向了一种数学方法,可以证明某些事情是真实的,而不会揭示为什么它是真的密码学家在20世纪80年代设想了这种“零知识证据”要了解它们是如何工作的,想象两个杯子装有相同数量的大理石,x为了向某人证明两者都包含x弹珠,你首先要创建两个桶,每个桶都有100-x左右的大理石:它们被称为杯子的“倒置”然后验证者将每个原始杯子与随机选择的桶混合:如果,并且仅当两个杯子真的相同时,每个最终混合桶中的弹珠总是100个但验证者从未发现x是什么(见下文)如何将其应用于核武器在扫描期间通过弹头射击中子在液体填充的探测器中产生特定图案的气泡这表明它是真的,还有弹头的结构所以Glaser的团队已经使用模拟来证明用反向模式的气泡预加载检测器然后进行扫描将阻止这种披露他们说,对两枚相同的导弹进行同样的扫描 - 从一个标记为销毁的库存中部署的另一枚导弹 - 将被视为存储导弹是真实的证据,因为政府不太可能部署假弹头(Nature,DOI: 10.1038 / nature13457)还有很多工作要做,但VERTIC的David Cliff,它有助于验证国际协议,这是乐观的 “它可以打开核武器控制条约的全新篇章”这篇文章出现在标题“加密证明为无核世界铺平道路”的标题下更多关于这些主题: