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
最新快讯
20:04
特朗普:需要好好考虑一下是否驱逐马斯克
20:01
英国云挖矿平台TWL Miner完成9500万美元B轮融资
20:01
Circle推出开发者服务Circle Gateway,本月拟上线Base、以太坊等测试网
19:59
Cango:6月挖矿产出450枚BTC
19:56
特朗普:马斯克对失去电动汽车强制令感到不满,他可能会失去更多
推荐阅读