Vitalik Buterin - Smart Contracts and Formal Verification (via searchlore.ai)