Who Watches the Provers? | Dark Hacker News