防御系统正在经历结构性转变。 软件、自治和AI现在已嵌入到监视、任务规划、通信和指挥控制中。这些系统不仅仅是支持决策，它们还会做出决策。

2/ 随着操作责任转移到软件，信任的标准也发生了变化。 仅仅依靠性能已不再足够。任务系统必须能够在机器速度和对抗条件下，展示正确性、完整性和合规性。

3/ 传统的保障模型无法适应这一现实。 部署前测试假设行为是静态的。 任务后评审假设有时间进行调查。 当 AI 驱动的决策在实时系统中瞬间传播时，这两者都无法奏效。

4/ 在这里，密码验证变得至关重要。 系统可以生成数学证明，证明计算是在授权输入上运行的，遵循了批准的逻辑，并且遵守了操作约束，而不是假设AI模型的行为是正确的。

5/ 对于防御来说，这不是一个合规特性——这是一个系统要求。 航空电子支持、传感器融合、C4ISR 分析、自动侦察和任务规划都需要可以验证的输出，而不仅仅是信任的输出。

6/ 验证也改变了联盟动态。 加密证明允许合作伙伴在不共享原始遥测、模型权重或机密数据的情况下验证结果——实现互操作性而不妨碍主权。

7/ 同样重要的是生命周期完整性。 从开发到部署以及事后评审，证明创建了一个防篡改的记录，记录了系统的行为——支持认证、可审计性和参与规则的合规性。

8/ 自主性在现代防御中变得不可避免。 真正的问题是，在压力下这种自主性是否能够保持问责。 未来的防御体系将不仅仅由系统能做什么来定义，还将由它们能证明自己做了什么来定义。