北约重注1500万美元押注AI软件“黑箱”检测，这家伦敦公司什么来头？

当企业竞相部署AI生成的代码时，一个令人不安的现实浮出水面：软件一旦编译成二进制可执行文件，就变成了一个“黑箱”。传统的安全工具依赖于源代码的访问权限，但像Anthropic的Claude这样的AI编程助手，正不断产出数百万行代码，这些代码最终会进入编译后的固件、第三方库和容器镜像中，而企业难以对这些“黑箱”进行检查。一家伦敦初创公司如今已说服北约和美国情报界，他们掌握了解决这一问题的钥匙。

RevEng.AI（官方公司名称为Binary AI Ltd.）于2026年5月27日宣布，已完成1500万美元的A轮融资。本轮融资由北约创新基金（NIF）领投，Sands Capital、In-Q-Tel（IQT）、IQ Capital和Episode One参投。加上这笔资金，公司总融资额达到1950万美元。此时距离其在2025年6月完成的415万美元种子轮融资，仅过去了11个月。

RevEng.AI到底做什么？

RevEng.AI构建了一个平台，能够在二进制级别分析编译后的软件——包括可执行文件、固件和第三方二进制文件——并在无需访问原始源代码的情况下，判断其中究竟包含什么内容。

公司的核心技术是名为BinNet的专有AI模型。该模型被描述为全球最庞大的用于理解二进制机器代码语义的AI系统。它经过训练，能够对编译后的代码进行逆向工程，检测隐藏的漏洞、后门以及恶意功能——这其中就包括由大语言模型生成不安全代码时无意间引入的威胁。

在实际应用中，该平台扮演着软件供应链校验层的角色。当国防承包商收到供应商的固件更新，或银行部署一个部分由AI代码构建的容器应用时，RevEng.AI的系统就能在最终生成的二进制文件中进行检查，并标记出静态分析或源代码审计会遗漏的异常情况。

据公司引述的报道，这家初创公司的客户群已覆盖金融服务、国防、国家安全和关键基础设施等领域。

1500万美元A轮融资为何重要？

北约主导的投资方阵容本身就是强烈信号

本轮融资的投资者构成非同寻常，高度集中在国防和情报领域的投资机构。北约创新基金领投了本轮，这是该基金在纯网络安全初创公司方向上最引人注目的押注之一。In-Q-Tel（一家旨在投资与CIA及更广泛的美国情报界相关技术的非营利风险投资机构）也再次参与，它也是种子轮的投资方。

当一家仅有16人的伦敦初创公司同时获得北约风投基金和美国情报界投资机构的支持时，释放的信号再明确不过：二进制级别的软件校验能力，已被视为一种国家安全能力。

对AI生成代码的安全恐慌是真实的

融资公告明确将公司的使命定位在应对AI生成软件的风险上。随着大语言模型越来越多地用于编写生产代码，组织正逐渐丧失对自身软件实际包含内容的可见性。RevEng.AI将BinNet定位为应对这一新现实的“原生二进制验证层”——从投资方投入的真金白银来看，他们显然认可了这一说法。

SiliconANGLE对本轮融资的报道中，将其与Anthropic自家的、旨在识别二进制文件网络安全风险的Mythos模型直接比较，但指出RevEng.AI已将这一概念付诸实践，转化为可供企业和政府部署的平台。

极速从种子轮到A轮，显示强劲的市场接受度

RevEng.AI于2025年6月完成了415万美元的种子轮融资，由Sands Capital领投，In-Q-Tel Capital、IQ Capital和Episode 1参投。在仅11个月后，就完成了金额近四倍的A轮融资，并让主要投资方升级为北约创新基金。这暗示着公司在过去一年中达到了足以打动国防和企业级买家的里程碑。

本轮资金将用于扩充工程团队、扩展平台并进军美国市场。在美国，国防和关键基础设施客户代表着最直接的商业机会。

宏观视角

自SolarWinds攻击事件以来，软件供应链攻击已成为令企业董事会担忧的问题。然而，AI代码的兴起引入了一种更隐蔽的风险：代码本身并非出于恶意，但在结构上不安全。这些代码由模型生成，而模型却无法对编译后输出的安全属性进行推理。RevEng.AI的赌注是，基于AI的二进制分析将成为软件开发生命周期中的标准环节——而1500万美元的A轮融资表明，全球一些对安全最为敏感的机构，对此观点投下了赞成票。