BlockBeats news, September 17: Vitalik posted on X platform, saying, "More and more people believe that AI hackers mean cybersecurity is doomed. I disagree. Cybersecurity is fundamentally defense-favorable. Anyone who continues to hold cryptocurrency (including myself, about 90% of my net worth) is implicitly betting on this."
Vitalik stated that AI can verify 'program security' as mathematical theorems, but the security definition needs to cover risk factors such as keys, servers, devices, operating systems, databases, networks, and cache layers; for security-critical components, the entire program should be verified. Vitalik said that Ethereum will advance in this direction in the coming years, and blockchains, especially those with both scalability and privacy, need to achieve software security.

