Buterin's roadmap prioritizes inclusion; FOCIL (EIP-7805) formalizes censorship resistance in Hegota as devs weigh dual-ISA and ZK-EVM verification trade-offs.