VITALIK BUTERIN: "PRECISAMOS DE CARROS AUTÔNOMOS DE CÓDIGO ABERTO E VERIFICÁVEIS"