Ethereum co-founder Vitalik Buterin said artificial intelligence could ramp up the network’s development roadmap while improving security standards.
Summary
- Vitalik says AI could speed up Ethereum’s roadmap and delivery timelines.
- Half of AI gains should go toward stronger testing and formal verification.
- AI may help make near bug-free crypto code a realistic expectation.
Responding to an experiment where someone “vibe-coded” Ethereum’s entire 2030 roadmap within weeks, Buterin wrote that “six months ago, even this was far outside the realm of possibility, and what matters is where the trend is going.”
Buterin personally tested AI coding by building an equivalent of his blog software within an hour using his laptop.
The Ethereum founder suggested taking half the speed gains from AI and applying them to security through more test cases, formal verification, and multiple implementations.
“People should be open to the possibility (not certainty! possibility) that the Ethereum roadmap will finish much faster than people expect, at a much higher standard of security than people expect.”
AI enables formal verification of complex cryptographic proofs
A collaborator of the Lean Ethereum project managed to AI-code a machine-verifiable proof of one of the most complex theorems that STARKs rely on for security.
The Lean Ethereum initiative aims to formally verify all components, with AI improving the ability to achieve that goal.
Buterin noted that simply generating a much larger body of test cases matters beyond formal verification.
The two-week roadmap experiment contained “massive caveats: almost certainly lots of critical bugs, and probably in some cases ‘stub’ versions of a thing where the AI did not even try making the full version.”
The right approach splits AI gains between speed and security improvements. “Do not assume that you’ll be able to put in a single prompt and get a highly-secure version out anytime soon; there WILL be lots of wrestling with bugs and inconsistencies between implementations,” Buterin warned.
Bug-free code could shift from idealistic delusion to basic expectation
Buterin expressed excitement about the possibility that bug-free code, “long considered an idealistic delusion, will finally become first possible and then a basic expectation.” He framed this as necessary for trustlessness in crypto systems.
Total security remains impossible as it would require exact correspondence between lines of code and contents of the mind, which Buterin estimated at many terabytes of information.
Specific security claims can be made and verified in particular cases, cutting out over 99% of negative consequences from broken code.
The statement shows AI as a tool for both ramping up development timelines and raising security bars simultaneously.
Buterin’s framework suggests AI could remove that tradeoff by enabling thorough security verification at development speeds previously impossible.
