Vitalik Buterin said about 90% of his net worth is held in cryptocurrency and that network security will increasingly favor defenders as related capabilities mature. According to Odaily, he said AI can verify "program security" as a mathematical theorem, but security definitions must cover risks involving keys, servers, devices, operating systems, databases, networks, and cache layers. He added that safety-critical components should verify the entire program, and said Ethereum will move in this direction over the next few years. Buterin also said blockchains, especially those combining scalability and privacy, need software security.