风险提示:防范以"虚拟货币""区块链"名义进行非法集资的风险。——银保监会等五部门
资讯
发现
搜索
登录
简中
繁中
English
日本語
한국어
ภาษาไทย
Tiếng Việt
BTC
ETH
HTX
SOL
BNB
查看行情
Vitalik:现有以太坊有效性证明形式化验证路线图很大一部分是在RISC-V中对EVM进行验证部署
2024-10-27 05:20:55
Odaily星球日报讯 以太坊开发人员 Rick Dudley 于 X 发文喊话 Vitalik Buterin,称让信标链运行 RISC-V,然后在其中运行 EVM 非常有意义,他非常有兴趣管理这个项目。

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