Key facts
- Vitalik Buterin believes AI will favor cybersecurity over hacking if software development adapts.
- He argues AI can make formal verification practical across entire software systems, proving security as a mathematical theorem.
- Buterin noted that the hard part is defining what 'secure' means in the first place.
- Ethereum plans to verify entire programs rather than select components, enhancing ecosystem security.
- The Ethereum Foundation targets Layer 1 becoming quantum-resistant by 2029.
Ethereum co-founder Vitalik Buterin has pushed back against the notion that artificial intelligence will inevitably lead to the downfall of cybersecurity and blockchain security. He argued that AI advancements can be leveraged by defenders as effectively as by attackers, provided the industry shifts towards a more robust and comprehensive approach to software development and verification.
Buterin suggested that AI could potentially prove the security of programs as a mathematical theorem, even for highly complex systems. However, he cautioned that the definition of 'secure' is critical and must encompass a wide range of risks, including forged messages, server compromises, and key leaks. He noted that current security definitions can be lengthy and still miss crucial elements, emphasizing the need for teams to verify entire programs rather than just critical components.
He revealed that Ethereum is adopting this comprehensive verification strategy to strengthen its ecosystem over the coming years, stating that blockchains prioritizing scalability and privacy will struggle without it. Buterin's comments come amid broader concerns from some finance experts about the potential for AI to undermine crypto security. He acknowledged that developers and security teams must act swiftly to implement these enhanced security measures.