According to Foresight News, Justin Drake, a researcher at the Ethereum Foundation, tweeted that the Ethereum Foundation is investing tens of millions of dollars in zkVM, including zkRISC-V formal verification, Poseidon cryptographic analysis, and L2beat for zkVMs.