AI treaty verification may need three layers: pragmatic checks, enclaves, and math
geoffreyirving · x · 2026-07-25
Geoffrey Irving argues that the near future may require AI treaty verification technology, and outlines three rough tiers of approaches.
- Pragmatic: operational methods that avoid looking at the code directly, such as datacenter inspections, hardware tracking, and chip controls.
- Enclaves: run agreed code inside secure enclaves; he notes some accelerators, including Nvidia GPUs, already have enclave support and can keep slowdown low.
- Math: cryptographic circuit obfuscation, combining FHE for nonlinear parts with custom techniques for matmuls; he says today’s slowdown is still several orders of magnitude too high.
He adds that hardware, security, and crypto researchers should work across all three levels, since each has different trade-offs against side channels and physical attacks.
Related event: Geoffrey Irving Outlines Three-Layer Approach to AI Treaty Verification(7 posts)→
More from Safety
- Op-ed: the ">10% extinction" narrative is liability evasion — AI is just software, and the vendor is the defendant — gerardsans · 2026-09-11
- Economist Warns US Collective Action Could 'Regulate AI Progress Out of Existence' — paulnovosad · 2026-09-11
- "Beware of the Self-Righteous": Anthropic Slammed for Accessing Users' Private Data — aiamblichus · 2026-09-11
- Anthropic threat report claims Houthis used Claude for weapons development and guided-rocket tests — KoseteBamse · 2026-09-11
- OpenAI asks Congress whether an industry-wide AI slowdown would be legal — The Decoder · 2026-09-11
- Author retracts 'a16z partner calls for nationalising frontier AI' post: likely a troll — S_OhEigeartaigh · 2026-09-11