EVM 2.0 might come in future with ZK-Friendlyness in Ethereum. 

A ZK-friendly VM is one that is designed with efficient zero-knowledge proof generation in mind. Key attributes include:

Minimal overhead when representing valid execution via arithmetic constraints.
Efficient memory models, avoiding dynamic access patterns or complex system-level features.
Traceability, enabling easy generation of proof witnesses.
Recursion-friendly execution, allowing proofs to be aggregated.

`RISC-V as the next EVM` looks good proposal.