Vitalik：现有以太坊有效性证明形式化验证路线图很大一部分是在RISC-V中对EVM进行验证部署
温馨提示：这篇文章已超过449天没有更新，请注意相关的内容是否还可用！
欧意交易所讯 以太坊开发人员 Rick Dudley 于 X 发文喊话 Vitalik Buterin，称让信标链运行 RISC-V，然后在其中运行 EVM 非常有意义，他非常有兴趣管理这个项目。
Vitalik 对此回应称，现有以太坊有效性证明形式化验证路线图的很大一部分是在 RISC-V 中对 EVM 进行验证部署，并且建议 Dudley 与负责以太坊形式化验证与人工智能的 Alexander Hicks 接洽。
免责声明:
本站内容来源于公开网络，仅作信息整理与展示之用，不代表本站立场或观点。相关内容不构成任何投资、交易或决策建议，亦不作为任何行为依据。请读者自行判断并承担相关风险。
本站不向特定国家或地区用户提供服务。如相关内容在您所在地区存在法律或监管限制，请您停止访问。
本站内容来源于公开网络，仅作信息整理与展示之用，不代表本站立场或观点。相关内容不构成任何投资、交易或决策建议，亦不作为任何行为依据。请读者自行判断并承担相关风险。
本站不向特定国家或地区用户提供服务。如相关内容在您所在地区存在法律或监管限制，请您停止访问。