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

Golden Finance reported that Rick Dudley, a developer of Ethereum, called out to Vitalik Buterin, co-founder of Ethereum, on X platform, stating that it is not difficult to make the Ethereum beacon chain run on RISC-V and make running EVM meaningful. He is very interested in managing this project. In response, Vitalik Buterin stated that a significant part of the existing Ethereum validity proof and Formal Verification roadmap is to verify the EVM implementation in RISC-V, and suggested that Rick Dudley should contact Alexander Hicks, who is responsible for Ethereum’s Formal Verification and artificial intelligence.