Vitalik は、オープンソースで検証可能な自動運転車が必要だと言いました。 そうでしょうか?