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

2024/10/27 13:20

Odaily星球日报讯 以太坊开发人员 Rick Dudley 于 X 发文喊话 Vitalik Buterin,称让信标链运行 RISC-V,然后在其中运行 EVM 非常有意义,他非常有兴趣管理这个项目。

Vitalik 对此回应称,现有以太坊有效性证明形式化验证路线图的很大一部分是在 RISC-V 中对 EVM 进行验证部署,并且建议 Dudley 与负责以太坊形式化验证与人工智能的 Alexander Hicks 接洽。

原文链接
Odaily
最新快讯
00:36
ETH跌破2500 USDT
00:26
BTC跌破108000 USDT
22:50
Coinbase研究主管:所谓“史上ETH最大空头头寸”系严重夸大
20:12
1confirmation创始人:坚定支持以太坊,其是行业持续发展的基石
19:30
星球晚讯
推荐阅读