arXiv cs.AI· Ziyi Guan, Yael Tauman Kalai, Ron Rothblum, Zoe Xi·· 13 小时前AI 评分32
可回卷交互证明（RIPs）：用回卷实现高效可扩展监督
Efficient Scalable Oversight via Rewinding
AI 导读
研究者提出可回卷交互证明（RIPs），允许弱验证者在交互中把 AI 证明者回卷到先前状态再继续，从而在无需假设证明者诚实、也不使用密码学的前提下实现可扩展监督。该构造中诚实证明者运行时间为原始计算的线性时间，验证者一次性预处理后接近输入长度的线性时间，并已在 MNIST 初步实验中显示可快于现有部署的证明系统。
正文 · AI 翻译
摘要：可扩展监督研究的是弱验证者如何检查由更强大的 AI 系统执行的计算输出。一种被提出的方法使用相对化交互式证明，其中弱验证者通过与一个或多个强大证明者交互，来检查复杂预言机辅助计算的输出。一个突出的例子是辩论，它非常高效，但假设两个强大 AI 模型（即证明者）中有一个是诚实的。对于某些类别的预言机辅助计算，这一假设可以被移除，但计算成本会大幅增加。
在这项工作中，我们引入了\emph{可回卷交互式证明}（RIPs），这是一种用于可扩展监督的相对化交互式证明新模型。在 RIP 中，验证者可以将证明者回卷到交互的较早状态，并从那里继续。当证明者是 AI 模型时，这是可行的，因为验证者可以保存模型状态的快照，并在之后恢复它。我们为输出对改变一小部分预言机答案具有鲁棒性的计算，构造了一种相对化 RIP。我们的构造比先前不假设证明者诚实的相对化证明更高效，并且不使用密码学。
在我们的构造中，诚实证明者的运行时间与原始计算的时间呈线性关系，而验证者在经过一次性预处理步骤后，运行时间与输入长度近乎线性（输入长度可能远小于计算本身）。我们实现了我们的协议，报告了一项初步的 MNIST 实验，并表明 RIP 可以比最先进的已部署证明系统更快。
RIPs 可能具有独立的研究价值。只要验证者控制证明者的机器，回卷就是可行的，例如当证明者在可信硬件上运行，或在一个状态可以被检查点保存的虚拟机中运行时。
| 主题： | 人工智能（cs.AI）；计算复杂性（cs.CC）；密码学与安全（cs.CR） |
| 引用为： | arXiv:2610.40535 [cs.AI] |
| （或 arXiv:2610.40535v1 [cs.AI] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.40535 由 DataCite 颁发的 arXiv DOI（待注册） |
提交历史
来自：Ziyi Guan [查看电子邮件]
[v1]
2026年10月29日星期四 17:34:28 UTC（54 KB）
来源：arXiv cs.AI · arxiv.org