Vitalik Buterin says AI, verification, and redundancy can make crypto safer.