研究人员为核武器检查设计了零知识证明
核武器检查带来了一个难题：如何培训核查人员识别核武器，而不透露如何**核武器的绝密信息？传播详细的核武器知识违背了不扩散原则，许多国家会反对让联合国这样的机构的核查人员在他们的战争技术中四处挖掘。
卡内基国际和平基金会的詹姆斯·阿克顿写道：
The problem seems as imponderable as Bilbo’s riddle to Gollum in The Hobbit: "What have I got in my pocket?" A state has a concealed object that it claims is a nuclear weapon. It wishes to provide proof, but the object’s design is largely secret and inspectors are forbidden from making measurements that might reveal classified information.但是如果一个检查员不用看里面就能证实武器是核弹呢？
假设核查人员想核实被销毁的武器是真弹头，而不是被替换的“假”弹头，而真弹头藏在其他地方。
一组来自微软和普林斯顿大学的研究人员开发了一个系统，可以在不需要拆开的情况下验证一件物品是否是核武器。这就是所谓的“零知识证明”（zero knowledge proof）——一个数学概念，在这个概念中，一个陈述可以被证明是正确的，而不必说明如何或为什么。
核检查员的零知识证明依赖于向弹头发射中子来产生图像。检查员不想看到弹头的准确图像，因为那样会泄露太多信息。取而代之的是，核查人员的中子探测器预先加载了真实弹头产生的图像负片。如果武器是真的，检查员会得到一个空读数。所提供的预加载是随机的由检查员，所以他们最好匹配的武器或犯规将明显后，足够的测试次数。
实施这样一个系统是一个漫长的路要走，地缘政治智慧，但它是一个有趣的解决方案。
- 发表于 2021-04-26 18:42
- 阅读 ( 199 )
- 分类：互联网
你可能感兴趣的文章
这个步行包裹递送机器人现在正在出售
...作，或者在多层次的洁净室中移动零件的容器，”他说。检查既包括专用检查（如在铁路场或工厂中）也包括附带检查，如在执行交货任务时监测城市基础设施（电线杆等） 那执法部门和军队呢？有一天我们能看到带着**和枪的...
为什么泰瑟枪唯一的对手放弃电击而选择柠檬水
...从自己手中购买了自己垂死公司的专利，并开始与专家和设计师合作，**出更好的毒刺武器版本。格鲁德把目光投向了**一种武器，这种武器在使人丧失能力方面与泰瑟的X26一样好，但不太可能造成死亡。 “卡本没有死亡名...
探索广阔：太空行走场景如何总结该剧的vfx及其角色冲突
...贝尔特人带着霍尔顿和罗基号前往空间站，准备发射一些核武器，帮助改变小行星的轨道，并计划在飞船撞上小行星之前逃跑。 和我一起太空行走 在米勒从宇宙飞船跳到厄洛斯的那一刻，CGI是非常明显的，但是这个序列在技术...
科学(science)和工程(engineering)的区别
...科学，与自然一起设计人类所必需的东西。 工程师用来检查他们的设计是否有缺陷和错误的一个重要工具是计算机。计算机辅助设计（CAD）软件用于创建三维模型和图纸，允许工程师分析他们的设计，而无需构建原型。 科学对...
古生物学家(paleontologist)和考古学家(archaeologist)的区别
...学家观察和研究人类不同的文化和生活方式。古生物学家检查动植物化石，而考古学家观察文物。古生物学家的研究领域是古生物学。古生物学是研究地球上曾经存在的生命的学科。这项研究是通过检查和研究化石来完成的。古...
心理战导论
...巴乔夫相信它们能建成。戈尔巴乔夫认识到，对抗美国在核武器系统方面的进步所付出的代价可能会使他的政府破产，因此他同意重新启动缓和时期的谈判，从而达成持久的核武器控制条约。 最近，美国对2001年9月11日的恐怖...
冷战词汇
...弹道导弹 反弹道导弹（ABM）设计用于在弹道导弹（携带核武器的火箭）到达目标之前击落它们。 军备竞赛 苏联和美国为取得军事优势而进行的大规模军事集结，特别是核武器的集结。 边缘政策 故意将危险局势升级到极...
第二次世界大战：老虎一号坦克
...发新的武器来对抗它。虽然老虎在战场上很有效，但它的设计过于复杂，难以维护，生产成本也很高。此外，它的重量增加了油耗，限制了航程，并使其难以运输到前方。作为这场冲突的标志性坦克之一，共建造了1300多辆虎式...
特里五世。俄亥俄州：最高法院案件、争论、影响
...和搜查的合法性，警方的做法是，警察在街上拦截路人并检查他们是否有非法违禁品。最高法院认为，根据第四修正案，如果该官员能够证明他“合理怀疑”嫌疑人携带武器且危险，那么这种做法是合法的。 快速事实：特里...
概念证明(proof of concept)和原型：它们有何不同？(prototype: how do they differ?)的区别
...思完成后首先要做的事情之一。这基本上是一个小练习，检查已产生的想法的可行性和潜力。它的一些主要目标是测试这个想法是否可以实现，是否可行，是否具有潜力和功能。概念验证的主要目标是检查开发想法是否可行。它...
0 篇文章
