Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure #Vitalik_Buterin #Buterin #Vitalik #formal_verification #make_crypto
