Vitalik says combining AI with formal verification can enhance crypto security

Ethereum co-founder Vitalik Buterin predicted that AI-based formal verification technology could significantly enhance the security of cryptocurrency and internet infrastructure, CoinDesk reported. Formal verification is a method of mathematically proving that software operates as intended. Buterin explained that recent advancements in AI are making the process of writing code and verification proofs much more efficient. He stated that while AI can rapidly generate large amounts of inaccurate code, formal verification can re-establish its accuracy. He believes its importance will grow in areas such as smart contracts, zero-knowledge (ZK) proofs, consensus mechanisms, and quantum-resistant cryptography. However, Buterin added that formal verification is not a panacea and cannot solve all issues, such as those stemming from incorrect assumptions or hardware vulnerabilities.