interactive-proofs

本文提出了用于AI安全验证的单证明者交互证明，避免了两竞争模型之间的辩论需求，并将该方法扩展到预言机辅助计算。