AI 监督能否实现零知识？EPFL 与 MIT 证明通用预言机辅助计算不存在零知识证明

EPFL 与 MIT 的研究证明，在随机预言机模型下，对通用预言机辅助计算不存在零知识证明，即便证明者与验证者运行时间远超计算本身，该不可能性同样适用于 debate 这一可扩展监督的典型模型。正面结果是：若预言机为每个答案附加密码学签名，则所有预言机辅助计算都能以零知识方式验证，且证明者与验证者均高效，仅需假设抗碰撞哈希函数。