Vitalik Buterin has published EIP-7864 alongside a staged roadmap to replace the EVM with Binary State Trees and RISC‑V primitives, aiming to boost proving efficiency and simplify Ethereum's core execution. The plan targets faster zk-proof generation and a leaner protocol design.