Ethereum’s Vitalik Buterin sees zk‑EVMs as future main validation method by 2027–2030