可回卷交互证明（RIP）：用回卷实现高效可扩展监督

研究者提出可回卷交互证明（RIP），让弱验证者在交互中把 AI 证明者回卷到先前状态再继续，从而在无需假设证明者诚实、也不使用密码学的前提下完成可扩展监督。该构造中诚实证明者运行时间为原始计算的线性时间，验证者经一次性预处理后接近输入长度的线性时间；初步 MNIST 实验显示 RIP 可快于已部署的先进证明系统。回卷适用于验证者控制证明者机器的场景，如可信硬件或可检查点的虚拟机。