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