Vitalik: A large part of the existing formal verification roadmap for Ethereum proof-of-validity is to validate the EVM implementation in RISC-V
2024-10-27 04:54:56
Ethereum developer Rick Dudley called Ethereum co-founder Vitalik Buterin on the X platform, saying that if it is not difficult to get the Ethereum beacon chain to run RISC-V and make sense to run EVM, he is very interested in managing the project. To this, Vitalik Buterin responded that a large part of the existing Ethereum proof of validity formal verification roadmap is to verify the implementation of EVM in RISC-V, and suggested that Rick Dudley approach Alexander Hicks, who is responsible for formal verification of Ethereum and artificial intelligence.
Disclaimer:
1. The information provided does not constitute investment advice. Investors should make independent decisions and bear all risks themselves.
2. The copyright of this content belongs to the original author. The views expressed herein are solely those of the author and do not represent the stance or position of this website.
Previous article：
Vitalik：现有以太坊有效性证明形式化验证路线图的很大一部分是在RISC-V中对EVM进行验证实现Next article：
财政部副部长廖岷：中国有信心实现全年5%左右的经济增长目标
