Vitalik Buterin on Farcast: Execution layer upgrades like account abstraction, multidimensional gas, BALs, ZK-EVMs, and vectorized math precompile