广告

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

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

我来作答

关于作者

8129

提问

351万+

阅读量

0

回答

0

余额

3百+

被赞

2百+

被踩