VITALIK BUTERIN: "WE HEBBEN OPEN SOURCE EN VERIFICEERBARE AUTONOME AUTO'S NODIG"