Vitalik acaba de decir que necesitamos autos autónomos verificables y de código abierto ... ¿Lo hacemos?