美軍斥資研究 Blockchain

美國國防部旗下高級研究計劃局 （DARPA） 斥資研究 Blockchain，主要目的是研究 Blockchain 能否在保護高度敏感數據上提供幫助，並且確定在軍用衛星、核武器等數個場景中的應用潛力。

今年 9 月，DARPA 將一份價值 180 萬美元合約授予 Galois 和 Guardtime，目的是驗證 Guardtime 基於Blockchain 技術研製的 KSI（Keyless Signature Infrastructure，無密鑰簽名基礎架構）系統可靠性。

Galois 被公認為形式驗證（Formal Verification）領域的先驅，形式驗證是透過形式化驗證過程，證明一個系統不存在某個缺陷，同時匹配某個或某些屬性，而 KSI 系統主要目標是網絡中的 APT（Advanced Persistent Threat，高級持續性威脅）攻擊，因為前者能夠保存網絡中的證據，即使駭客能夠突破漏洞、修改系統文件、甚至調整安全軟件，只要留有蹤跡，就能繩之於法。簡單來講，Blockchain 可以視為一條長鏈，數據存放在鏈中，同時鏈的每節儲存訊息結合之後，再次整體不可逆加密之後，得到只是這一節能夠與上下兩節特徵對應，這就可以肯定這一節是原始訊息，沒被他人修改。