Vitalik：现有以太坊有效性证明形式化验证路线图很大一部分是在RISC-V中对EVM进行验证部署

以太坊开发人员 Rick Dudley 于 X 发文喊话 Vitalik Buterin，称让信标链运行 RISC-V，然后在其中运行 EVM 非常有意义，他非常有兴趣管理这个项目。 Vitalik 对此回应称，现有以太坊有效性证明形式化验证路线图的很大一部分是在 RISC-V 中对 EVM 进行验证部署，并且建议 Dudley 与负责以太坊形式化验证与人工智能的 Alexander Hicks 接洽。