Vitalik Buterin Says AI Won’t Doom Crypto Security

Buterin's framing shifts the AI-and-crypto debate away from a simple offense-defense race toward a structural question: whether formal verification of whole software systems becomes practical. That matters most for the security assumptions underlying smart contracts and protocol code, where auditing capacity has long lagged developer output. The open question is whether such verification tooling matures faster than AI-assisted exploitation, and whether it is adopted at the base layer or only by well-resourced teams.