AI 监督能否做到零知识？论文证明一般情形下不可行

论文研究预言机辅助计算的交互式论证能否实现零知识，即验证者在确认输出正确的同时不获知机密数据。作者证明在随机预言机模型下，对一般预言机辅助计算不存在零知识证明，即使证明者和验证者运行时间远超计算本身；该不可能性结论也适用于可扩展监督的典型模型 debate。正面结果是，若预言机对每个答案附加密码学签名，则在仅假设抗碰撞哈希函数的前提下，每个预言机辅助计算都能以高效证明者和验证者进行零知识验证，这为可扩展监督提供了既不依赖诚实对手、也不依赖计算鲁棒性的替代路径。