Justin Ðrake：以太坊基金会正在向 zkVM（零知识虚拟机）投入数千万美元，目前包括三个项目，分别专注于 zkRISC-V 形式化验证、Poseidon 密码分析和 zkVM 的 L2beat。部分 zkVM 设计为与 EVM 兼容，允许开发者直接移植现有的智能合约。