Vitalik: AI Can Verify Entire Programs, Ethereum Will Advance Software Security in the Coming Years

Vitalik posted on X that approximately 90% of his net worth is held in cryptocurrency, and he believes that as related capabilities gradually mature, cybersecurity will favor the defensive side.He stated that AI can verify "program security" as mathematical theorems, but the definition of security needs to cover risk factors including keys, servers, devices, operating systems, databases, networks, and caching layers; for security-critical components, the entire program should be verified. Vitalik said that Ethereum will advance in this direction over the coming years, and that blockchains—especially those combining scalability and privacy—need to achieve software security.