2026年11月3日-4日，据Defence Blog、DARPA信息处理技术办公室（IPTO）RFI公告（编号DARPA-SN-27-17）消息，五角大楼的研究机构DARPA正在探索一种新的防御思路：与其把所有资源押在造一个“攻不破”的系统上，不如让同一个系统以多种不同的方式被造出来，使得攻击者在一个版本上发现的漏洞，无法移植到其他版本上。
这个项目叫FLASH，全称是“形式化学习与系统异构抽象”，由DARPA信息处理技术办公室于2026年11月3日发布信息请求书（RFI），向工业界和研究界征集想法，截止日期为11月30日。
传统网络安全防御的逻辑是“加固”：找出漏洞，打补丁，让系统变得更强。但攻击者只需要找到一个未被修补的入口，就能突破整条防线。FLASH的出发点不同：它要把多样性本身变成一种防御手段。同一个武器控制系统、同一套飞行控制软件或同一条通信链路，被自动生成出多个功能完全等价、但内部设计、代码结构和故障模式各不相同的版本。攻击者在一个版本上学到的攻击知识，换一个版本就失效了。
DARPA把这项工作的技术路径拆成三个层次。第一层是形式化需求：把系统“必须做到什么”和“绝对不能违反什么”用数学语言精确写清楚，同时标明哪些设计选择是可以自由变化的。第二层是生成设计实例：利用生成式AI模型和符号推理工具，自动产出满足同一套形式化需求、但实现方式不同的多个系统版本，并且每一个都要经过形式化验证，确保功能上与原始设计完全等价。第三层是附带证明：每一个生成的版本都附带数学证明和解释材料，证明它满足安全性和正确性要求，而不是只靠测试来“跑一遍看看有没有问题”。
FLASH点名的潜在应用场景包括自主战术平台、安全通信管道、工业控制系统、机器人集群、高性能计算集群和边缘计算网络等。这些系统的共同特点是软件直接控制物理硬件，一旦被攻破，后果不限于数据泄露，可能直接导致装备失控或任务失败。
需要看清的是，FLASH目前只是一份RFI，不是已立项、已拨款的计划。DARPA明确说这是市场调研，不承诺后续合同，也不会为响应付费。它要求响应者回答的核心问题是：在你们的应用场景里，现有的加固方法为什么不够用；哪些安全、功能、时序和互操作属性必须在所有生成的版本之间保持一致；以及用什么指标来衡量“异构”是否真的有效。
FLASH的底层思想并不全新，1977年就有人提出过多版本编程的概念。它真正在赌的是：生成式AI和形式化验证工具的结合，能不能把“造很多个功能相同但设计不同的系统”这件事的成本，从人工不可能降到自动化可承受。
