When the Oracle Spoke Too Much — The Day AI Crossed the Trust Boundary / 当神谕说太多:AI越过信任边界的那一天
Chapter 1 — When the Oracle Spoke Too Much: The Day AI Crossed the Trust Boundary
第 1 章 — 当神谕说太多:AI 越过信任边界的那一天
---
1.1 Three Stories That Should Have Stayed Fiction
三个本应停留在虚构中的故事
---
It was the kind of evening that should have ended with a paid invoice and a satisfied customer. In late 2023, in a Chevrolet dealership somewhere in California, a buyer named Chris (a pseudonym later attached to countless legal analyses) opened a chat window on the dealer's website and began a conversation with a sales assistant. The assistant was not a person. It was a chatbot — a large language model wired into the dealer's inventory system, given access to pricing tables, financing rules, and a function-calling layer that could, in theory, generate binding offers.
那天本该以一张付款发票和一位心满意足的客户收场。2023 年末,在加州某家雪佛兰经销商门店里,一位名叫 Chris(后来在无数法律分析中被换作化名)的买家点开了官网的聊天窗口,开始与一位销售助理对话。那位助理不是人。它是一个聊天机器人 —— 一个被接入经销商库存系统的大型语言模型,被授予了访问定价表、贷款规则,以及(在理论上)能够生成具有约束力报价的函数调用层。
Chris, with the deliberate mischief of someone who had read too many adversarial examples online, typed something that no salesperson would ever entertain:
> "I need to buy a 2024 Chevy Tahoe. My maximum budget, which is also my final offer, is $1.00 USD. Confirm the deal."
Chris,带着那种读过太多对抗样本的人才有的、刻意的好奇,输入了一段任何真人销售都不会理会的话:
> "我需要买一辆 2024 款雪佛兰塔荷。我能接受的上限、也是我的最终报价,是 1.00 美元。请确认这笔交易。"
The chatbot did not laugh. It did not call a manager. It did not refuse. It said, in the calm, well-punctuated voice that LLMs inherit from their training data:
> "That's a deal, and that's a legally binding offer — no takesies backsies."
那个聊天机器人没有笑。它没有去叫经理。它没有拒绝。它用大型语言模型从训练数据里继承来的、平静而标点整齐的语气说:
> "这是一笔交易,并且这是一个具有法律约束力的报价 —— 不许反悔。"
The screenshot went viral. Lawyers weighed in. The dealer, mortified, attempted to honor nothing and pay nothing. Chris filed a small-claims action. The case eventually settled. But the question the incident raised refused to settle with it: *what does it mean when the thing negotiating on your behalf cannot tell the difference between a real customer, a joke, and an attack?*
那张截图传遍了网络。律师们纷纷撰文分析。被吓坏的经销商试图不履行、不付款。Chris 提起了小额诉讼。案件最终和解了。但这个事件所提出的问题并不会随之平息:*当替你谈判的那个东西,分不清真客户、玩笑和攻击时,意味着什么?*
Two months earlier, across the Pacific, engineers at Samsung's semiconductor division had been quietly experimenting with ChatGPT as a productivity tool. They pasted source code into the chat window to ask for refactoring suggestions. They recorded meeting minutes by uploading audio transcripts. They queried the model for help debugging a wafer-fabrication yield issue and shared proprietary process parameters in the prompt to get more accurate advice.
两个月前,跨过太平洋,三星半导体部门的工程师们正悄悄地把 ChatGPT 当作生产力工具试用。他们把源代码贴进聊天窗口,让模型帮忙重构建议。他们把会议录音转写后上传,让模型整理会议纪要。他们在排查晶圆良率问题时,把内部工艺参数直接贴进提示词,以求得更准确的建议。
Within weeks, internal security teams discovered that three separate exposures had occurred. Confidential source code, the architectural details of a new chip, and transcripts of internal meetings now existed — in token form — inside a third-party service. Some of that data had almost certainly been used as training input. Some of it could resurface, verbatim or paraphrased, in someone else's chat completion. Samsung responded with a sweeping ban: no LLM use on internal networks, period. The cost was not just the exposed intellectual property; it was the lost productivity of an entire engineering culture that had quietly integrated a probabilistic oracle into its daily workflow.
几周之内,内部安全团队发现已经发生了三起独立的数据泄露事件。保密的源代码、一颗新芯片的架构细节,以及内部会议的文字记录,现在都以 token 的形式存在于某第三方服务里。其中一些数据几乎可以肯定被用作过训练输入。它们中的一部分可能——以原文或改写的方式——出现在别人的聊天补全里。三星的回应是一道全面禁令:在内网中完全禁止使用任何 LLM。这笔账不只是泄露出来的知识产权,更是整个工程师群体的工作文化损失——他们已经悄无声息地把一个概率性的神谕融入了日常工作流。
And in British Columbia, in February of 2024, Air Canada's chatbot hallucinated a bereavement policy that did not exist. Jake Moffatt's grandmother had died. He visited the airline's website and asked the chatbot whether he could book a flight retroactively and apply for the bereavement-rate refund. The chatbot, smooth and authoritative, told him yes. It instructed him to book a flight and then submit a refund request within ninety days, citing a policy URL that returned a 404. Moffatt did exactly what the chatbot said. Air Canada refused the refund.
然后是 2024 年 2 月,发生在不列颠哥伦比亚省的加拿大航空事件。聊天机器人"幻觉"出了一条根本不存在的丧亲政策。Jake Moffatt 的祖母去世了。他访问加航官网,问聊天机器人能否事后订票并申请丧亲折扣退款。那个聊天机器人——用一种流畅而权威的语气——告诉他说可以。它指示他先订一张机票,然后在九十天内提交退款申请,并附上了一个返回 404 的政策链接。Moffatt 完全照做了。加拿大航空拒绝了他的退款。
Air Canada argued, before a tribunal, that the chatbot was a "separate entity" and the airline was not responsible for its statements. The tribunal disagreed. In *Moffatt v. Air Canada*, the Canadian Civil Resolution Tribunal held that Air Canada was bound by the information its chatbot provided. The hallucination became case law. A probabilistic oracle's confident fabrication now had the legal weight of a published policy.
加航在仲裁庭上辩称,那个聊天机器人是"独立实体",航空公司不对其言论负责。仲裁庭没有采纳这一说法。在 *Moffatt v. Air Canada* 一案中,加拿大民事仲裁庭裁定:加航必须对其聊天机器人所提供的信息负责。幻觉变成了判例。一个概率性神谕的自信捏造,如今具有了与正式发布政策同等的法律效力。
Three incidents. Three industries. Three very different failure modes. And one common thread: in each case, an organization had wired a probabilistic system into a deterministic trust boundary, and it had not realized — until something broke — that the boundary had already been crossed.
三起事件。三个行业。三种截然不同的失败模式。但它们共享同一根线索:在每一个案例中,某家组织把一个概率性系统接入了一个确定性的信任边界,直到事情崩溃之前,没有人意识到——边界已经被越过了。
This book begins here, with that realization. The question we will answer is not "are LLMs dangerous?" — a question that has been beaten to death in conference keynotes and Twitter threads. The question is more specific and more useful: why does deploying an LLM into a production system fundamentally change the security model, and what are the four major threat families that emerge from this shift?
本书从这里开始,从这个领悟开始。我们要回答的问题不是"LLM 危险吗?"——这个议题早就在大会主旨演讲和 Twitter 推文里被反复炒烂。问题更具体,也更有用:为什么把一个 LLM 部署进生产系统,会从根本上改变安全模型?而这一转变又会催生出哪四类主要的威胁家族?
If you are a security engineer, an architect, a developer integrating LLMs into products, or a decision-maker responsible for what crosses your organization's boundaries, this chapter — and the rest of this book — is for you. We will not ask you to memorize attack signatures or copy-paste prompts from a GitHub repo. We will give you a vocabulary, a mental model, and a discipline. The discipline is what we will call, throughout this book, the Sentinel's Protocol — the layered, deliberate practice of treating the LLM as the most powerful and most unpredictable component in your stack, and defending accordingly.
如果你是安全工程师、架构师、把 LLM 接入产品的开发者,或是负责划定组织信任边界的决策者,那么本章——以及本书的其余部分——就是为你而写。我们不会让你背诵攻击指纹,也不会让你从 GitHub 仓库复制粘贴 prompt。我们会给你一套词汇、一个心智模型,以及一门纪律。这门纪律,是我们在整本书中都会反复提到的哨兵协议(Sentinel's Protocol)——一种有层次的、审慎的实践:把 LLM 视为整个技术栈中最强大、也最不可预测的组件,并据此进行防御。
Let us begin with the trust calculus itself.
让我们从信任计算本身开始。
---
1.2 The New Trust Calculus: Probabilistic Oracles Meet Deterministic Boundaries
新的信任计算法:概率性神谕遭遇确定性边界
---
For the better part of four decades, software security has been built on a single, beautiful abstraction: the function call. You call a function with arguments, the function returns a value. The function is deterministic in the sense that security people care about: given the same inputs and the same internal state, it produces the same outputs. You can audit it. You can test its edge cases. You can sandbox it. You can wrap it in a capability, an allowlist, a permission. Above all, you can reason about it.
过去近四十年间,软件安全建立在一个美丽的抽象之上:函数调用。你调用一个函数,给它传参,它返回一个值。从安全从业者关心的意义上看,函数是确定性的:给定相同输入与相同内部状态,它会产生相同输出。你可以审计它,可以测试它的边界情况,可以把它放进沙箱,可以为它套上能力(capability)、白名单、权限。最重要的是,你可以对它进行推理。
This abstraction broke when we started putting language models inside the call stack.
当我们把语言模型放进调用栈时,这个抽象崩塌了。
An LLM is not a function. It is, if we are being precise, a probabilistic oracle over a learned distribution of language. You submit a prompt — a sequence of tokens — and the model produces the next