SafetyPage

Research papers · Paper

How to Avoid Debate: Scalable AI Safety via Doubly-Efficient Interactive Proofs

Liyan Chen, Yael Tauman Kalai, and Zoe Xi · 3 Jul 2026

ReadSource at arxiv.org ↗Read hereCC BY 4.0

Outline · 35 pages

  1. Introductionp. 3
  2. Our Resultsp. 4
  3. Related Workp. 5
  4. Technical Overviewp. 6
  5. Proof system for robust oracle computationp. 6
  6. Argument system for robust oracle computationp. 8
  7. Argument system for computation with access to a low-degree oraclep. 8
  8. Preliminariesp. 9
  9. Oracle-Aided Computation and Robustnessp. 9
  10. Succinct Descriptions of Sets and Functionsp. 10
  11. Interactive Proofsp. 11
  12. Interactive Proofs of Proximityp. 12
  13. Unique-Decoding Checksumsp. 13
  14. Interactive Arguments and Arguments of Knowledgep. 14
  15. Hash Treesp. 15
  16. Polynomial Commitmentsp. 16
  17. Doubly-Efficient Interactive Proofs for Robust Oracle Circuitsp. 17
  18. A Proof System for Circuits Making Nonadaptive Oracle Queriesp. 17
  19. A Proof System for Circuits Making Adaptive Oracle Queriesp. 21
  20. An Argument System for Circuits Making Adaptive Oracle Queriesp. 27
  21. A Doubly-Efficient Interactive Argument for Circuits with a Low-Degree Oraclep. 29
  22. Conclusionp. 32
  23. Acknowledgmentsp. 33