a16z's 'Rules as Law' Vision: How AI-Assisted Formal Verification and Runtime Guardrails Are Reshaping DeFi Security
In December 2025, Anthropic's researchers pointed an AI agent at 405 real-world exploited smart contracts. The agent produced working exploits for 207 of them — 51% — draining $550 million in simulated funds. The cost per successful exploit? Just $1.22.
That single data point captures the existential crisis facing decentralized finance in 2026. The $3.4 billion lost to crypto hacks in 2025 was not a failure of effort — most attacked protocols had been audited, some multiple times. It was a failure of paradigm. And now, a16z Crypto is proposing a radical replacement: abandon "code is law" and embrace "spec is law," where mathematically proven safety properties and real-time runtime guardrails make most exploits structurally impossible.