Vitalik：现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现
2024-10-27 04:54:56
以太坊开发人员Rick Dudley在X平台喊话以太坊联合创始人Vitalik Buterin，表示如果要让以太坊信标链运行RISC-V并使得运行EVM有意义并不困难，他非常有兴趣管理这个项目。对此，Vitalik Buterin回应称，现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现，并且建议Rick Dudley与负责以太坊形式化验证与人工智能的Alexander Hicks进行接洽。
Disclaimer:
1. The information provided does not constitute investment advice. Investors should make independent decisions and bear all risks themselves.
2. The copyright of this content belongs to the original author. The views expressed herein are solely those of the author and do not represent the stance or position of this website.
