【Vitalik：现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现】金色财经报道，以太坊开发人员Rick Dudley在X平台喊话以太坊联合创始人Vitalik Buterin，表示如果要让以太坊信标链运行RISC-V并使得运行EVM有意义并不困难，他非常有兴趣管理这个项目。对此，Vitalik Buterin回应称，现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现，并且建议Rick Dudley与负责以太坊形式化验证与人工智能的Alexander Hicks进行接洽。
（高效稳定，正规可靠）
微信：aspcool
QQ：580076
手机：18992859886
工作时间：9:00~18:00（周一至周五）