Loading...
Vitalik stated on the X platform that AI can validate program security as mathematical theorems, and the security definition needs to cover key, server, device, operating system, database, network, and cache layer risks. For security critical components, the entire program should be validated. Ethereum will advance in this direction in the coming years, and blockchain, especially the one that combines scalability and privacy, needs to achieve software security.