先备导航：你需要 073（盲计算的界碑）、035（相位估计）、028（不可克隆）、075（云上黑盒）、030（"证明"这件事）。
下一篇预告：089《十个没人知道答案的问题：开放问题清单》。

你怎么知道量子机没骗你：可验证性

一位咖啡师宣称自己的手冲世界第一。你蒙眼盲品——但怎么确认他端上来的不是速溶？悖论在于：你若懂咖啡，盲品自能分辨；你若不懂，蒙眼与睁眼无别。验证的资格与验证的需要，往往是同一件事——这是千古的评委难题。

量子云时代把这道难题推到极端：花大价钱租量子机算一个经典机根本算不动的问题（不然何必租）——"复算一遍对答案"这个人类最朴素的验证手段，恰好失效。你怎么知道它没糊弄？073 篇立过界碑：盲计算防"偷看"，防"偷懒"是另一件事——本篇把另一件事讲完。

为什么量子机特别难验

经典计算再黑盒，还能复算、还能单步调试（076 篇汇编时代也看得到寄存器）。量子机的三重门：

1. 态不可复制（028）——"把中间结果拷出来送检"物理禁止；
2. 测量破坏（002）——看一次毁一次，且只看到投影；
3. 云上黑盒（075）——芯片在别人机房，脉冲对不对你看不见。

而最要命的是需求端的悖论：需要量子机的问题，恰恰无法用经典复算来验证——评委不懂咖啡，还必须给咖啡打分。这个困境有解，而且解法不止一档——按"假设服务方多诚实"分四层。

验证工具箱：四层阶梯

**层一：统计抽查（假设它大体诚实）。**同一问题用不同算法、不同机器交叉对答案（078 篇应用级基准的思想）；小问题用已知答案抽查。弱点：抓得住大面积作弊，抓不住精心糊弄（在抽查点放对答案、别处偷工）。

层二：交互审讯（假设它想省钱糊弄）。把"提交作业"改造成多轮随机问答：验证者随机追加提问——换个等价的问法、故意埋已知答案的小题、要求解释中间统计量。糊弄者要把谎圆下去，撒谎面随提问次数指数增长——经典计算复杂性理论里"交互式证明"的思想移植到量子云。

层三：自证协议（最强，用量子性抓量子）。最妙的一层：035 篇的相位估计在此回归——对同一个黑盒，存在数学上等价但路径不同的问法；纠缠与干涉的内在一致性强制"等价问法必须同答"。把这类自洽检查随机穿插进计算，说谎的工程成本被抬到与诚实计算同价——"作弊不划算"从口号变成可证的协议性质。

**层四：小量子验大量子。**端到端方案：抱一台小量子机当"审计员"，用纠缠与远传协议（072 篇的路）对大机器做信息论级的验证——原理上最硬，工程上最远（依赖容错与网络成熟）。

与盲计算合龙：可信量子云的两块拼图

073+088 两篇合起来才是一个完整方案：盲计算（它不知道你算什么）+可验证性（它不敢糊弄你）=可信量子云。073 篇的三件套管保密，本篇的审讯协议管防骗——075 篇调用栈的"调度层"未来要同时跑这两套协议（开销不低：几倍的冗余与交互，2026-11 视角下原理已证、部署未至；当前现实是层一：多机交叉+抽查——050 篇过渡带的又一枚印记）。

哲学收束

把视野拉远：验证问题把**"信任机器"从社会问题变成了密码学问题**——086/087 的换锁防的是外贼（偷数据的），本篇防的是家贼（糊弄结果的）。它是科学"可重复性"原则的量子版：当一个实验物理上不可复制（量子态），可重复性就迁移为协议级的自洽性——这不是退让，是升级。

把类比拆掉

盲品咖啡借了哪里：

• 不像之一：咖啡可以送实验室化验（可复制、可第三方重复）；量子态不可复制——"送检"物理禁止，只能"当场审讯"。层二到层四的全部巧思，都是在绕开"不可复制"。
• 不像之二：品鉴有主观成分（评委打分带偏好）；量子答案有数学一致性可抓（等价问法必须同答）——审讯能立规矩，品鉴不能。量子验证在某些意义上比咖啡评审更"硬"。

带走的行李

1. 验证者悖论：需要量子机的问题无法经典复算——"复算对答案"失效；三重门（不可复制/测量破坏/云黑盒）让量子验证自成一章。
2. 四层阶梯：统计抽查→交互审讯→自证协议（035 的等价问法强制自洽）→小量子验大量子——按"假设对方多诚实"逐层加码。
3. 可信云两拼图：盲（073）+验（088）=既保密又防骗；现实是层一，容错时代审讯是标配候选——"可重复性"的量子升级=协议级自洽。

下一站的钩子：专栏讲了 88 个"知道"，收官前该讲"不知道"——十个至今没人知道答案的问题：从 BQP 与 NP 的边界，到时空是不是纠错码。089《十个没人知道答案的问题：开放问题清单》。

#量子计算 #从硬币到纠错 #可验证性 #交互式证明