Vitalik Buterin Says AI Could Make Crypto More Secure Through Formal Verification

Ethereum co-founder Vitalik Buterin believes artificial intelligence could strengthen crypto security if paired with a process known as formal verification. In a recent blog post, Buterin explained that AI-assisted mathematical verification may become one of the most important tools for protecting blockchain networks and critical digital infrastructure.

AI and formal verification could reduce crypto vulnerabilities

Formal verification uses machine checkable mathematical proofs to confirm that software behaves exactly as developers intend. While the method has existed for years, Buterin said advances in AI are making it easier to write both software code and the proofs needed to verify it.

He argued that AI may initially create security concerns by accelerating bug discovery and cyberattacks, especially in decentralized finance where smart contract exploits continue to cause major losses. However, combining AI-generated code with formal verification could help reduce software vulnerabilities and improve reliability.

Buterin specifically pointed to Ethereum infrastructure, zero-knowledge proof systems, consensus mechanisms and post-quantum cryptography as areas that could benefit. He also cautioned that formal verification is not perfect, warning that incorrect assumptions or unchecked system components can still create risks.