防禦系統正在經歷結構性變化。 軟體、自主性和AI現在已嵌入監控、任務規劃、通訊和指揮控制中。這些系統不再僅僅支持決策，而是直接做出決策。

2/ 隨著操作責任轉移到軟體，信任的標準也隨之改變。 僅僅依賴性能已經不再足夠。任務系統必須能夠在機器速度下，並在對抗條件下，展示正確性、完整性和合規性。

3/ 傳統的保證模型無法適應這一現實。 部署前測試假設行為是靜態的。 任務後回顧假設有時間進行調查。 當 AI 驅動的決策瞬間在實時系統中傳播時，這兩者都無法奏效。

4/ 在這裡，加密驗證變得至關重要。 系統可以生成數學證明，證明計算是在授權的輸入上運行，遵循批准的邏輯，並遵守操作約束，而不是假設 AI 模型的行為是正確的。

5/ 對於防禦來說，這不是一個合規性功能——這是一個系統要求。 航空電子學支持、傳感器融合、C4ISR 分析、自主偵察和任務規劃都需要可以驗證的輸出，而不僅僅是信任。

6/ 驗證也改變了聯盟動態。 加密證明允許合作夥伴在不分享原始遙測、模型權重或機密數據的情況下驗證結果——使得互操作性得以實現而不損害主權。

7/ 同樣重要的是生命週期的完整性。 從開發到部署以及事後回顧，證明創建了一個防篡改的記錄，顯示系統的行為 -- 支持認證、可審計性和參與規則的合規性。

8/ 自主性在現代防禦中變得不可避免。 真正的問題是，在壓力下這種自主性是否能保持負責任。 未來的防禦堆疊將不僅由系統能做什麼來定義，還由它們能證明自己做了什麼來定義。