According to CoinMeta, Vitalik stated on platform X that AI can verify the security of a program as a mathematical theorem. The definition of security must cover risks related to keys, servers, devices, operating systems, databases, networks, and caching layers. For critical security components, the entire program should be verified. Ethereum will move in this direction over the coming years, and blockchains, especially those that combine scalability and privacy, need to achieve software security.