Cloudflare 用 AI 盘点代码里的密码学:后量子迁移先要找到“用在哪”

后量子密码迁移的第一道难题,往往不是选哪种替代算法,而是弄清楚密码学实际藏在哪些代码路径、配置和依赖里。Cloudflare 9 月 29 日介绍了内部工具 CryptoLabe:它先扫描代码库形成线索,再让 AI 追踪算法在运行时的用途和上下游依赖,最后把结果整理成工程团队可以复核的清单。

这不是一个向客户开放的新产品。Cloudflare 说,CryptoLabe 深度依赖公司的内部代码托管、工单和文档系统,因此暂不对外提供工具本身;文章分享的是设计经验和部分提示词。公司给自己设定了 2029 年完成平台后量子迁移的目标,这只是 Cloudflare 的内部计划,并非所有组织共同遵循的截止日期。

为什么搜算法名不够

在代码里搜索 “RSA” 或 “X25519”,很容易找到测试代码、已经废弃的路径,或从未被调用的实现,结果会把实际使用量算高。反过来,协议默认值可能藏在 TLS 配置、第三方库或另一个仓库的 YAML 文件里,只搜当前仓库又会漏掉它们。

即使找到算法名称,也还不知道它在系统里承担什么角色。ECDSA 可能用于 TLS 证书、JWT、SSH 或其他协议。它们的对端、密钥生命周期和升级方法不同,不能靠一次全局替换解决。实际协商结果还可能取决于客户端和服务端共同支持的算法。

因此,密码盘点要回答的不是“仓库里出现过哪些算法”,而是“哪个服务在什么路径上、通过哪些依赖和配置,实际用它完成什么操作”。这张关系图,才是规划迁移时能用的底账。

CryptoLabe 把扫描拆成发现和分析

第一阶段负责发现线索。工具先映射仓库,再检查源码、配置、清单文件、锁文件、脚本、测试和文档,寻找密钥协商、签名、非对称加密、PKI、令牌及硬件安全模块等相关用法。输出不是最终结论,而是一组待核查的“原始观察”。

第二阶段逐条复核这些观察。模型回到源码检查证据,追踪运行时行为和仓库在系统中的角色;必要时还会查看关联仓库。分析完成后,它会再检查配置覆盖、测试专用代码或运行时假设等可能造成误判的因素。

分类结果包括经典加密、经典签名、经典令牌、已采用后量子算法的混合密钥协商,以及其他后量子用法。证据不足时,工具会把条目标成“需要更多证据”“外部依赖”或“未知”,而不是猜一个看似完整的答案。对迁移团队来说,保留未知项很重要:它能把人工复核变成明确任务,而不是把模型的猜测误当成资产清单。

让 AI 只读固定快照,再把扫描变成可恢复的作业

CryptoLabe 的分析需要读取内部源代码。Cloudflare 描述的做法是,在每次扫描开始时固定到一个精确提交,把仓库快照存入 R2,再由短生命周期的隔离 Sandbox 恢复;模型通过只读工具检查这份不变快照,不能直接改动正在开发的代码。固定提交也让后续复查能回答“这条结论对应哪个版本”。

批量运行时,Cloudflare 为每个仓库设置 Durable Object 协调扫描进度,前面再加有界队列限制并发。持久化 Workflow 负责发现、深入分析、合并重复结论和发布结果。遇到模型服务限流时,一个全局协调对象统一控制请求节奏,让所有扫描共享退避时间,避免每个任务独立重试、一起把拥塞放大。

这套结构的价值不在于组件名字,而在于把扫描做成可排队、可取消、可重试、能从固定版本重现的任务。只读快照限制了写入风险;队列和统一限流则让扫描规模增长时仍能控制外部模型的请求压力。

清单要能指出阻塞,不只是列出算法

有些迁移工作不能由单个产品团队独立完成。某个服务可能依赖的库还不支持后量子验证,或者签发令牌的外部系统尚未升级。CryptoLabe 把这类条件记录为前置依赖,便于跨团队归并问题、找到共同阻塞点。

还有一些问题来自协议和周边系统的约束。Cloudflare 举例说,后量子证书和签名通常比传统方案更大;如果证书被放进 HTTP Header,而代理或应用对 Header 长度有固定上限,换算法就可能导致请求失败。这样的条目需要先确认相关代码是否仍在使用,再测量完整链路的大小限制,而不只是更新密码库。

对一般团队来说,不必一开始就扫描所有仓库。可以先挑一个处理长期敏感数据、用户或软件身份认证,或直接暴露在公网的系统,记录算法、用途、代码位置、配置来源、外部依赖、负责人和证据。之后由维护该系统的工程师确认哪些发现仍有效、哪些可以升级、哪些被依赖或协议生态阻塞。

AI 能拓宽搜索,不能替代工程确认

Cloudflare 也明确提到,团队目前还没有用于比较不同提示词效果的可信“标准答案集”,并不认为已经找到了代码库里全部密码学用法。工具的结论仍要和仓库维护者一起核对。这一限制值得正视:模型可以跨文件追线索、解释代码,但完整覆盖率和识别准确度不能仅凭一次扫描推定。

如果组织准备做类似工具,除了模型质量,还要先定好代码访问范围、快照保存期限、只读权限、日志内容和人工确认流程。提示词可以帮助发现隐藏用法,却不能充当迁移批准记录。最终清单应能回到源码与配置证据,并保留负责人对结论的确认。

结语

CryptoLabe 展示了一种实用的起点:先发现密码学在哪里,再追踪它在运行时做什么、依赖谁,以及迁移受什么阻碍。AI 在这里更像一个代码调查员,负责扩大检索范围和整理线索;是否有效、先改哪里,仍由掌握系统上下文的工程师判断。

比起追求一份声称“百分之百完整”的清单,能从关键服务开始、逐条附上证据、把未知和依赖阻塞标出来的盘点流程,更容易真正推动迁移。

参考来源

  1. Cloudflare Blog:Using AI to chart a course for our post-quantum migration,2026 年 9 月 29 日。
  2. NIST:Post-Quantum Cryptography: Selected Algorithms。
文章目录
  1. 1. 为什么搜算法名不够
  2. 2. CryptoLabe 把扫描拆成发现和分析
  3. 3. 让 AI 只读固定快照,再把扫描变成可恢复的作业
  4. 4. 清单要能指出阻塞,不只是列出算法
  5. 5. AI 能拓宽搜索,不能替代工程确认
  6. 6. 结语
  7. 7. 参考来源
|