Vitalik predicts: Bug-free code will become possible in the 2030s

#ETH #Vitalik Buterin #blockchain