Justin Ðrake: A Ethereum Foundation está investindo dezenas de milhões em zkVMs (Zero-Knowledge Virtual Machines), atualmente incluindo três projetos, com foco na verificação formal zkRISC-V, criptoanálise Poseidon e L2beat para zkVMs. Algumas zkVMs são projetadas para serem compatíveis com EVM, permitindo que os desenvolvedores portem diretamente os contratos inteligentes existentes.