if you need EVM trace validity proofs for your roadmap to be coherent you don’t get to champion it as simple