11月29日消息，以太坊基金會研究員Justin Drake發推表示，以太坊基金會正在向zkVM投資數千萬美元，其中包括zkRISC-V形式化驗證、Poseidon密碼分析以及L2beat for zkVMs。