WuBlockchain
Ethereum co-founder Vitalik Buterin said the network can now move much faster because AI-assisted formal verification can check whether new code is safe. Speaking on Nov 4, 2026, he said Ethereum's remaining roadmap could take 20 years to complete without AI.
Why it matters
Buterin described lean Ethereum as a set of upgrades planned over the next few years, with zero-knowledge proofs and AI used as widely as possible. He said these techniques were previously confined to the application layer because deploying them on Ethereum's base layer carried too much risk. Buterin argued that the underlying technology has matured enough to support that transition.
AI-assisted formal verification could reduce the manual burden of checking protocol code and make complex upgrades easier to validate. That is strategically important as Ethereum seeks to improve its base layer while preserving the security expected by users and institutions.
Market impact
For investors, the proposal points to a faster development cycle for Ethereum's remaining upgrades and greater adoption of zero-knowledge technology within the protocol itself. It also raises the importance of execution: AI can accelerate verification, but it does not remove the need for rigorous testing and sound protocol design.
The bullish signal is operational rather than immediate. If Ethereum delivers the planned upgrades with effective AI-assisted verification, the approach could help shorten timelines and reduce the complexity of bringing advanced cryptography into the base layer.
Source: [Crypto Must Survive Before It Wins: Vitalik Buterin on Ethereum's future, India's role and more — YouTube](https://www.youtube.com/watch?v=Tx7RwC_ZZX4)
Frequently asked questions
-
Why does Vitalik Buterin expect AI to speed up Ethereum's roadmap?
Buterin says AI-assisted formal verification can check whether new code is safe, reducing the manual burden of validating complex protocol upgrades.
-
Which Ethereum technologies will be used more widely?
Buterin said Ethereum will use zero-knowledge proofs and AI as widely as possible as it advances the lean Ethereum upgrade plan.
-
Why were zero-knowledge proofs previously kept out of the base layer?
He said they were confined to the application layer because deploying them directly on the base layer carried too much risk.
-
What has changed to make these Ethereum upgrades more feasible?
Buterin said the relevant technology has now matured, allowing Ethereum to move more advanced techniques into the base layer.
-
What is the main investor takeaway from Ethereum's lean roadmap?
The roadmap could shorten development timelines, but its success will depend on effective execution, code verification and rigorous protocol testing.
CoinTelegraph
Glassnode
CoinDesk
Crypto News
CryptoSlate
TheBlock