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.