Golden Finance reported that Rick Dudley, an Ethereum developer, called out to Ethereum co-founder Vitalik Buterin on X platform, saying that it would not be difficult to run the ETH beacon chain on RISC-V and make it meaningful to run EVM. He is very interested in managing this project. In response, Vitalik Buterin said that a large part of the existing ETH validity proof and Formal Verification roadmap is to verify and implement EVM in RISC-V, and suggested that Rick Dudley contact Alexander Hicks, who is in charge of ETH Formal Verification and artificial intelligence.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
ETH developer Dudley proposed to manage the RISC-V project, while Vitalik suggested contacting Hicks.
Golden Finance reported that Rick Dudley, an Ethereum developer, called out to Ethereum co-founder Vitalik Buterin on X platform, saying that it would not be difficult to run the ETH beacon chain on RISC-V and make it meaningful to run EVM. He is very interested in managing this project. In response, Vitalik Buterin said that a large part of the existing ETH validity proof and Formal Verification roadmap is to verify and implement EVM in RISC-V, and suggested that Rick Dudley contact Alexander Hicks, who is in charge of ETH Formal Verification and artificial intelligence.