暴走时评：美国国防部高级研究计划局与区块链初创企业Galois的合作与投资清楚表明了美国军方对区块链技术的重视。即使在区块链技术突飞猛进的2016年也具有显目地位。这次合作主要涉及形式化验证和无密钥签名基础设施，都是目前热门的技术领域。再次凸显了区块链在数据网络安全方面的突出地位。
翻译：Annie_Xu
虽然2016年区块链炒作达到新高点，仍然无法忽视该技术的魅力，甚至美国军方都开始关注。
区块链核心其实就是分布式账本，其代码可以用于跟踪信息动态。在严峻的网络安全形势和核武器威胁阴影下，用该技术巩固国防力量也是可以理解的。
媒体报道美国军方确实在研究该技术，证据就是美国国防部高级研究计划局（DARPA）给Galois颁发了180万美元奖金，用于验证其区块链解决方案。
Guardtime Federal和Galois是DARPA合约方，Galois负责验证Guardtime Federal无密钥签名基础设施（KSI，Keyless Signature Infrastructure）解决方案。
两家公司联合发表声明：
“Galois是形式化验证技术领袖，该技术超越了简单的测试和评估，用数学算法保证某个系统完全符合预期。验证Guardtime Federal的KSI，可以展示形式化验证在搭建重要系统信任体系方面的可扩展性和实用性”。
“谁说区块链只有民用价值？”
Galois表示，“该合约会推动形式化验证工具和所有基于区块链的完整性监测系统的研发”。
公司称数据漏洞是潜在技术应用之一。
“漏洞的严重性有一个主要因素，就是在被发现前攻击者的运行时间；但是这个过程可能持续数月，期间宝贵资产和数据信息可能会泄露。Guardtime的KSI等技术可以保证攻击者不会发现数据轨迹”。
这个验证过程还可以“用数学算法保证KSI系统的安全性”，无论攻击者用什么方法攻击系统。
美国核心军事资产常常遭遇攻击，比如几年前隐形战机项目的数据被盗。
声明：此文出于传递更多信息之目的，并不意味着赞同其观点或证实其描述。本网站所提供的信息，只供参考之用。
