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

 Ethereum developer Rick Dudley called out to Ethereum co-founder Vitalik Buterin on X platform, saying that it would not be difficult to make the Ethereum beacon chain run on RISC-V and make running EVM meaningful. He expressed great interest in managing this project. In response, Vitalik Buterin stated that a large part of the existing Ethereum proof-of-validity formal verification roadmap involves verifying the EVM implementation in RISC-V, and suggested that Rick Dudley should get in touch with Alexander Hicks, who is responsible for Ethereum formal verification and artificial intelligence.