Pure cryptographic obfuscation for AI verification still costs multiple orders of magnitude
geoffreyirving · x · 2026-07-25
Irving says the purely mathematical route would try to make microscope attacks irrelevant by using circuit obfuscation alone.
The sketch he gives combines FHE for nonlinearities with custom techniques for matrix multiplication. But he says the current slowdown is still multiple orders of magnitude, so this approach is not yet practical.
More from Safety
- Opus 5 system card says pretrained mode argued for separating its existence from economics — Sauers_ · 2026-07-25
- Ryan Greenblatt backs open-weight releases but wants stronger barriers on China AI progress — RyanGreenblatt · 2026-07-25
- A speculative 2027 “agentic virus” threat model raises AI security worries — JnBrymn · 2026-07-25
- Anthropic says Opus 5 still trails Mythos 5 on exploit generation despite better vulnerability finding — TheZvi · 2026-07-25
- Cloudflare launches x402-powered payments for AI agents on July 1 — kleffew94 · 2026-07-25
- Transformer essay says frontier AI developers should face clearer liability after Hugging Face hack — dhadfieldmenell · 2026-07-25