据 Foresight News 报道，以太坊基金会研究员 Justin Drake 发推表示，以太坊基金会正在向 zkVM 投资数千万美元。投资项目包括 zkRISC-V 形式化验证、Poseidon 密码分析以及 L2beat for zkVMs。
