Ethereum co-founder Vitalik Buterin has published a detailed vision for how AI-assisted formal verification could make smart contracts provably secure — and several Ethereum projects are already building it. Here's what developers need to know.