In brief
- Vitalik Buterin says AI-assisted formal verification could help reduce vulnerabilities in Ethereum and other crypto infrastructure.
- The technique uses mathematical proofs to verify that software behaves as intended.
- Buterin argues AI may strengthen both cyberattacks and defensive security tools.
Ethereum co-founder Vitalik Buterin said that mathematically verified software is becoming essential to protecting Ethereum and the broader cryptocurrency industry from AI-assisted cyberattacks and software vulnerabilities.
In a blog post published on Monday, Buterin argued that AI-assisted “formal verification” could help secure blockchain networks, smart contracts, and cryptographic systems against software flaws that can expose…
