# Game-Theoretic Verifiable Computing

- [Writings](/research/game-theoretic-verifiable-computing/writings.md)
- [Verifiable Computing](/research/game-theoretic-verifiable-computing/writings/verifiable-computing.md)
- [Problem Statement](/research/game-theoretic-verifiable-computing/writings/problem-statement.md)
- [Prior Protocols](/research/game-theoretic-verifiable-computing/writings/prior-protocols.md)
- [Autonomous Agents](/research/game-theoretic-verifiable-computing/writings/autonomous-agents.md)
- [Mechanisms To Explore](/research/game-theoretic-verifiable-computing/writings/mechanisms-to-explore.md)
- [Talks](/research/game-theoretic-verifiable-computing/talks.md)
- [FIL Dev Summit, Reykjavík, September 2023](/research/game-theoretic-verifiable-computing/talks/fil-dev-summit-reykjavik-september-2023.md)
- [CoD Summit, Boston, May 2023](/research/game-theoretic-verifiable-computing/talks/cod-summit-boston-may-2023.md)