VITALIK BUTERIN: "NECESITAMOS COCHES AUTÓNOMOS DE CÓDIGO ABIERTO Y VERIFICABLES"