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

【Vitalik：现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现】币排名报道，以太坊开发人员Rick Dudley在X平台喊话以太坊联合创始人Vitalik Buterin，表示如果要让以太坊信标链运行RISC-V并使得运行EVM有意义并不困难，他非常有兴趣管理这个项目。对此，Vitalik Buterin回应称，现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现，并且建议Rick Dudley与负责以太坊形式化验证与人工智能的Alexander Hicks进行接洽。