I'm actually trying to do something even more ambitious: Create "cypherpunk principled non-ugly ethereum" as a bolt-on to the present-day system, in a way that's as tightly integrated and interoperable as possible, and then grow it over time, in the mean time making sure ethereum itself gains the cypherpunk and simplicity properties that just necessarily have to be system-wide (eg. censorship resistance, zk prover friendliness, consensus properties). Then, in 5 years (or maybe way sooner with AI coding and verification, who knows), we have an open pathway to turn the existing system into smart contracts written in the language of the new system if/when we want. Ethereum has already made jet engine changes in-flight once (the merge), we can do it ~4 times more! (state tree, Lean consensus, ZK-EVM verification, VM change)