Vitalik: A large part of the current Ethereum validity proof formal verification roadmap is to verify and deploy EVM in RISC-V

Odaily News Ethereum developer Rick Dudley called out to Vitalik Buterin on X, saying that it makes sense to let the beacon chain run RISC-V and then run EVM in it, and he is very interested in managing this project. Vitalik responded that a large part of the existing Ethereum validity proof formal verification roadmap is to verify the deployment of EVM in RISC-V, and suggested that Dudley contact Alexander Hicks, who is responsible for Ethereum formal verification and artificial intelligence.