In brief Vitalik Buterin is proposing to replace EVM with a new system to achieve radical efficiency gains in zero-knowledge proofs. The four-phase transition promises 100x performance boosts while maintaining backward compatibility. The…