Ethereum’s co-founder Vitalik Buterin said the network’s remaining roadmap could take 20 years without AI, and that using AI to conduct security checks on new code could speed up development.
In an interview with Moneycontrol on November 4, reported by Wu Blockchain on November 10, Buterin discussed the upgrades Ethereum plans to roll out over the next few years. These upgrades, grouped under the name Lean Ethereum, aim to make greater use of zero-knowledge proofs and AI.
How can AI audit Ethereum’s code?
One method Buterin highlighted is formal verification. This method makes it possible to mathematically test whether new code meets specific security conditions. According to Buterin, using AI to support these checks could help developers review new code more quickly.
Buterin said that, due to the risks these techniques could have posed on the mainnet in the past, they were used more often at the application layer. As the technology matures, he said, it is becoming possible to use them on a broader scale.
Not investment advice.