Crypto proofs emerge as key tools for AI verification, safety and governance
DavideCrapis · x · 2026-11-14
London's AI x Crypto scene is turning cryptographic proofs into tools for AI safety and governance. Key open questions: how to prove a datacenter ran inference only from a specific model, and how to prove specific properties of inference or training without revealing weights or test cases. The Nov 13 AI Verification Mixer covers ZK proofs, TEEs & hardware, MPC & cryptography, and audits & security.
More from Infra
- AWS adds OpenFold3 to SageMaker JumpStart for private biomolecular structure prediction — AWS ML Blog · 2026-11-14
- Nvidia shed $573B in market value this week — more than Mastercard's entire worth — Polymarket · 2026-11-14
- Dario Amodei: Anthropic to spend $900B on compute but locks in 'relatively little' vs rivals — rohanpaul_ai · 2026-11-14
- Founder Who Raised From Nvidia: It's Not Circular Financing, It's Filling a Funding Gap — williamfalcon · 2026-11-14
- Thinking Machines details end-to-end native 4-bit training of Inkling 2 Small — thinkymachines · 2026-11-14
- Chris Lattner on One Software Stack Targeting Six Chip Architectures Post-NVIDIA Era — samcharrington · 2026-11-14