London AI x Crypto scene: cryptographic proofs emerge as key tools for AI verification and governance
DavideCrapis · x · 2026-11-14
At the AI Verification Mixer in London (Nov 13, 2026), the AI x Crypto community explored using ZK proofs, TEEs, and MPC for AI verification. Key open questions: proving a datacenter ran only inferences from a specific model, and proving specific properties of inference or training without revealing model weights or test cases. Cryptographic proofs are becoming key tools for AI safety and governance.
More from Safety
- NonZero podcast gathers 10 thinkers on the AI future, from Aaronson to Bostrom to Strogatz — GarrisonLovely · 2026-11-14
- National Academies report urges NSF to co-build sovereign open-source LLM for science — thoefler · 2026-11-14
- CNAS analyst: Nvidia scandal should push US firms to harden vetting and cybersecurity — paul_scharre · 2026-11-14
- Philosopher David Papineau announces move into AI safety and alignment — davidpapineau · 2026-11-14
- CMU Launches New Center on Mathematical Foundations of AI Safety — aran_nayebi · 2026-11-14
- Anthropic hiring a TPM to lead its 'Pacing' program on frontier AI speed — AaronBergman18 · 2026-11-14