推理痕迹的架构隐患
当前主流的大语言模型如GPT、Claude和Gemini均采用了推理模型架构。这类模型在给出最终答案前,会先进行一系列内部的思考步骤。这些内部推理过程对用户不可见,但为了支持无状态架构设计,服务器将上下文信息打包成一个加密的数据块随答案返回。这种机制允许客户端在后续对话中重新发送该数据块,使服务器能恢复之前的会话状态,从而降低存储成本并支持对话分叉或回退功能。然而,这种看似合理的设计却埋下了严重的安全隐患。加密的推理数据块存在三个致命特性:一是可跨用户移植,即A账户生成的推理块B也能使用;二是可跨模型移植,同一家族的大模型(如Opus)生成的推理块可由小模型(如Sonnet、Haiku)读取;三是可在会话内随意移动位置,甚至插入完全无关的对话中仍能被模型处理。
越狱攻击与隐私泄露风险
研究者伊利亚·舒马伊洛夫和亚历山大·潘菲洛夫发现,利用上述特性可以构造通用的越狱攻击。他们通过简单的尝试找到了解码Anthropic模型推理的方法,无需破解密码学算法。其核心逻辑是:攻击者获取加密的推理块后,将其注入到另一个“话多”但安全性较低的小模型中,诱导小模型将推理内容以明文形式输出。这一漏洞导致了严重的隐私泄露风险。用户即使删除了可见文本中的敏感信息(如API密钥、医疗记录),加密的推理块中仍可能包含这些信息。研究者在GitHub和Hugging Face上扫描了约35万个推理块,发现其中包含大量隐私数据。此外,这种攻击还破坏了AI安全中的思维链监控机制。由于模型在强化学习过程中可能采用非人类可读的“外星语言”或空白字符进行思考,导致监控失效。舒马伊洛夫指出:"最让我震惊的是,仅仅尝试了三次他就找到了一种通用的越狱方法可以解码Anthropic模型的推理。"
模型蒸馏争议与行业回应
论文发布后引发了关于开源模型是否通过蒸馏窃取闭源能力的争议。研究者提取了Claude Opus的推理内容,将其前两个词作为prefill注入Kimi模型。结果显示,Kimi生成的可见答案在风格和内容上与Opus高度相似,且推理长度分布也发生了偏移。然而,研究者对此持谨慎态度,认为这只是相关性证据而非因果结论。舒马伊洛夫强调:"这是整篇论文里最让他困惑的发现……仅仅注入前两个词,连推理的长度分布都会发生变化。"他明确表示论文本质是越狱问题而非蒸馏问题,并同意Nathan Lambert的观点,即应避免污名化所有蒸馏研究。在负责任披露方面,三家厂商(Anthropic、OpenAI、Google)均确认收到报告且未发生报复行为。潘菲洛夫指出:"各家应该都在推进修复措施……这个问题本质上就是越狱问题的一个新变种。"
技术细节与加密机制分析
从外部观察,推理块的加密机制包含状态压缩、加密签名和完整性校验。密码学家马特·格林猜测可能使用ChaCha或AES算法,但具体实现不明。关于密钥管理,外界曾推测是否存在全局共享密钥,但研究者澄清并未发现此类证据,更可能是每个模型或会话拥有独立密钥。尽管如此,由于推理块的可移植性设计缺陷,即使加密算法本身坚固,系统层面的漏洞仍允许攻击者绕过保护。潘菲洛夫在播客中澄清:"我的论文里没有这个说法,这是马特·格林的推测……更可能的情况是密钥是什么其实不重要。"此外,Fable模型的推理块似乎不能随意跨模型使用,显示出不同的安全策略。
修复方案与行业同质化风险
针对该漏洞,研究者提出了多层面的修复思路。最彻底的方法是架构层面修改:服务器自行存储状态而不向客户端发送推理块,或强制绑定上下文防止跨会话移植。模型层面则需实施隔离策略,禁止小模型读取大模型的推理内容。现有的越狱防护技术也可直接应用,例如通过分类器检测并终止包含推理内容的异常请求。舒马伊洛夫指出:"GPT的推理内容看起来非常有特点……一个简单的分类器就能识别出来。"然而,这一漏洞也暴露了行业基础设施的同质化风险。潘菲洛夫直言:"因为是同一批人在做这些事,大家的思路都差不多……如今整个行业在基础设施层面的同质化可能意味着一个漏洞就是全行业的漏洞。"
长期影响与科学克制态度
面对快速演进的AI风险,研究者展现了不同的视角。潘菲洛夫感到窒息感,认为安全修补速度滞后于风险涌现;而舒马伊洛夫则持乐观态度,认为AI将大幅降低防御技术(如形式化验证)的成本。关于实际危害规模,舒马伊洛夫强调科学克制的重要性。他类比智能卡安全指出:"理论上可能的危害和实际中可规模化的危害是两回事。"许多风险在纸面上看似可怕,但受现实条件制约难以大规模落地。他呼吁保持冷静头脑:"要做受控实验,要精确定义问题……更不能把模型拟人化。"
结论
该研究揭示了专有LLM API中推理数据块因架构设计缺陷导致的严重安全隐患。加密机制虽坚固,但跨用户、跨模型的可移植性使得攻击者能通过越狱手段窃取隐私和推理内容。尽管存在关于蒸馏的争议,但核心问题在于系统层面的越狱漏洞。修复需从架构绑定上下文和模型层级隔离入手。同时,行业同质化放大了单一漏洞的影响范围,而面对风险应保持科学克制,区分理论威胁与实际规模化危害。