_
    Vitalik Buterin backs AI formal verification for crypto