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

BitGet粉丝站

温馨提示:这篇文章已超过468天没有更新,请注意相关的内容是否还可用!

bitget讯 以太坊开发人员 Rick Dudley 于 X 发文喊话 Vitalik Buterin,称让信标链运行 RISC-V,然后在其中运行 EVM 非常有意义,他非常有兴趣管理这个项目。 Vitalik 对此回应称,现有以太坊有效性证明形式化验证路线图的很大一部分是在 RISC-V 中对 EVM 进行验证部署,并且建议 Dudley 与负责以太坊形式化验证与人工智能的 Alexander Hicks 接洽。
BitGet官方网站是世界领先的加密货币衍生品交易平台(本站为粉丝站非官方网站),立即前往 Bitget 交易所官网购买 BTC 和 ETH,开启您的加密货币交易之旅!

目录[+]