Can AI Oversight Be Zero Knowledge?
The work investigates whether interactive arguments for oracle-aided computation can achieve zero knowledge when checking AI outputs. It initially found that general zero-knowledge proofs are impossible in the random oracle model. However, introducing a 'signed oracle'—where every answer is cryptographically signed—allows for succinct zero-knowledge verification of any computation in NTIME[T].