深潮 TechFlow 消息,11 月 29 日,以太坊基金会研究员 Justin Drake 透露,基金会正在向 zkVM(零知识虚拟机)技术投入数千万美元资金。投资项目包括 zkRISC-V 形式化验证(verified-zkevm.org)、Poseidon 密码分析(poseidon-initiative.info)以及面向 zkVM 的 L2beat 分析平台(ethproofs.org)。