According to CoinMeta, as reported by Moneycontrol, Ethereum co-founder Vitalik Buterin stated in an interview that in the coming years, Ethereum will advance a series of upgrades with the goal of applying zero-knowledge proofs and AI as widely as possible. He pointed out that these technologies were previously only used at the application layer, and integrating them into the mainnet’s underlying infrastructure carried too much risk, but now that the technologies have matured. He emphasized that the application of AI can significantly accelerate this process, especially in terms of formal verification, to ensure the security of newly written code.