Ethereum co-founder Vitalik Buterin said that using AI could significantly shorten the time needed to complete Ethereum’s remaining development roadmap compared with past estimates.
In an interview with Moneycontrol, Buterin identified zero-knowledge proofs (ZK), AI and formal verification as core elements of “Lean Ethereum,” which will be developed over the coming years. Formal verification is a method that uses mathematical techniques to verify whether code and algorithms operate according to specified conditions.
“Based on the amount of work remaining on the roadmap, it would have taken 20 years to complete it according to the standards of five years ago,” he said. “Thanks to AI, we can move much faster while also verifying the safety of the code and algorithms being written.”
Lean Ethereum aims to improve network performance by using the latest technologies and development methods while maintaining decentralization and security.