Vitalik:现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现
Crypto 7x24
2024-10-27 14:13:14
1067
网络报道,以太坊开发人员Rick Dudley在X平台喊话以太坊联合创始人Vitalik Buterin,表示如果要让以太坊信标链运行RISC-V并使得运行EVM有意义并不困难,他非常有兴趣管理这个项目。对此,Vitalik Buterin回应称,现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现,并且建议Rick Dudley与负责以太坊形式化验证与人工智能的Alexander Hicks进行接洽。
免责声明:本文观点来自原作者,不代表Hawk Insight的观点和立场。文章内容仅供参考、交流、学习,不构成投资建议。如涉及版权问题,请联系我们删除。