[Vitalik: AI Can Verify Entire Programs, Ethereum to Advance Software Security in Coming Years] Odaily Planet Daily News – Vitalik posted on the X platform, stating that approximately 90% of his net assets are held in cryptocurrencies and expressing the belief that as related capabilities gradually mature, cybersecurity will lean more toward the defensive side. He mentioned that AI can verify 'program security' as a mathematical theorem, but the definition of security must encompass risk factors such as keys, servers, devices, operating systems, databases, networks, and caching layers. For security-critical components, the entire program should be verified. Vitalik noted that Ethereum will advance in this direction in the coming years, as blockchain—especially scalable and privacy-preserving blockchains—needs to achieve software security.