The Compute Verification Post

Notes from our nights and weekends

The Compute Verification Post Notes from our nights and weekends Jason Hausenloy and Jasmine Li Jul 20, 2026 26 6 3 Share Summary: We start with a primer on compute verification: understanding what’s going on inside a datacenter and how we can prove it to someone else. This involves proving certain properties about compute, e.g. where it is, what it’s doing, and how much was used, under particular trust assumptions. We then argue: Inference-only verification is the highest-value near-term property and the highest-priority target for large-scale demo buildout, International verification will ne

saved by

• Eliana Du
• Seth Lifland

related reading

• The Compute Verification Postsubstack.com
• Verification Planai-2040.com
• Asymmetry of verification and verifier’s rule - Jason Weijasonwei.net
• [2606.05433] Zero knowledge verification for frontier AI training is possiblearxiv.org
• We Should Think More Critically About Compute Verificationsudarsh.com
• When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
• A shallow dive into formal verificationvitalik.eth.limo
• [2004.07213] Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claimsarxiv.org
• Verifying International Agreements on AI: Six Layers of Verification for Rules on Large-Scale AI Development and Deploymentarxiv.org
• Verified Machine Learning Infrastructure: Formal Methods for Trustworthy Artificial Intelligence Deployment | RANDrand.org
• Private Cloud Compute: A new frontier for AI privacy in the cloud - Apple Security Researchsecurity.apple.com
• The importance of full-stack openness and verifiabilityvitalik.eth.limo