11月29日消息，以太坊基金会研究员Justin Drake在X平台发文表示，以太坊基金会正在向zkVM投资数千万美元，其中包括zkRISC-V形式化验证、Poseidon密码分析以及即将推出zkVMs的L2beat。