arXiv · cs.AI· Alessandro Chiesa, Ziyi Guan, Burcu Yildiz·· 7 天前精选
论文证明通用预言机辅助计算无法实现零知识证明
Can AI Oversight Be Zero Knowledge?
arXiv:2610.01995v1阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Alessandro Chiesa, Ziyi Guan, Burcu Yildiz
首次提交：2026-10-02 00:30
研究任务与主要进展
论文证明，在随机预言机模型中，通用预言机辅助计算不存在零知识证明，这一不可能性也扩展到用于可扩展监督的 debate 协议，且不依赖证明者或验证者运行时间远长于计算本身。若预言机为每个答案附加密码学签名，基于抗碰撞哈希函数即可让通用预言机辅助计算实现零知识验证。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
本站判断
论文把 AI 输出的可验证性与隐私保护放在同一交互证明框架中，基于论文摘要给出一般性不可能性结论，并指出为预言机答案附加密码学签名可绕开该障碍。研究价值在于明确“可验证”与“零知识”之间的条件边界，但摘要未说明具体开销、模型假设细节及实验范围。
来源：arXiv · cs.AI · arxiv.org