@TechReport{firsov24ouroboros,
  title =        "{The Ouroboros of ZK: Why Verifying the Verifier
                 Unlocks Longer-Term ZK Innovation}",
  author =       "Denis Firsov and Benjamin Livshits",
  year =         "2024",
  institution =  "IACR Cryptology ePrint Archive",
  number =       "Cryptology ePrint Archive, Paper 2024/768",
}