未来，核武器可能也用区块链进行控制？

文章预览

核武器、区块链，两种风马牛不相及的事物，却可能在未来擦碰出不一样的火花。 外媒透露，美国国防部旗下高级研究计划局 DARPA 正在以资金的方式支持部分区块链的研究，主要目的是：研究区块链能否在保护高度敏感数据上提供帮助，并且确定其在军用卫星、核武器等数个场景中的应用潜力。 DARPA 进展 图片来自 QZ 今年 9 月，DARPA 将一份价值 180 万美元的合同共同授予 Galois 和 Guardtime，目的是验证 Guardtime 基于区块链技术研制的 KSI（Keyless Signature Infrastructure，无密钥签名基础架构）系统可靠性。 其中，Galois 被公认为“形式验证（Formal Verification,）”领域的领军企业。至于“形式验证”则可以概括为：通过形式化验证过程，证明一个系统不存在某个缺陷，同时匹配某 ………………………………