The Ethereum Foundation has invested 'tens of millions' of dollars into advancing zero-knowledge Virtual Machines (zkVMs) technology.The investment includes the zkEVM Formal Verification Project aimed at achieving bug-free zkEVMs through grants and bounties.Another significant component of the investment is the Poseidon Initiative, focusing on enhancing the security analysis of Poseidon instances.The initiative also offers a comprehensive bounty program and supports workshops for cryptanalysis.