THE BLOCK: Vitalik Buterin said Ethereum is moving toward AI-assisted verification of entire programs to strengthen software security. He argued that developers must verify databases, networking, caching, and other layers rather than only self-declared critical code.