A Golden Finance report stated that Rick Dudley, a developer of Ethereum, called out to Vitalik Buterin, the co-founder of Ethereum, on X platform, saying that it is not difficult to make the Ethereum beacon chain run RISC-V and make running EVM meaningful. He is very interested in managing this project. In response, Vitalik Buterin stated that a large part of the existing Ethereum proof of validity Verificação formal roadmap is to verify the implementation of EVM in RISC-V, and suggested that Rick Dudley contact Alexander Hicks, who is responsible for Ethereum Verificação formal and artificial intelligence.
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
Vitalik: grande parte do roteiro de verificação formal do Ethereum existente é a implementação da verificação do EVM em RISC-V prova de validade
A Golden Finance report stated that Rick Dudley, a developer of Ethereum, called out to Vitalik Buterin, the co-founder of Ethereum, on X platform, saying that it is not difficult to make the Ethereum beacon chain run RISC-V and make running EVM meaningful. He is very interested in managing this project. In response, Vitalik Buterin stated that a large part of the existing Ethereum proof of validity Verificação formal roadmap is to verify the implementation of EVM in RISC-V, and suggested that Rick Dudley contact Alexander Hicks, who is responsible for Ethereum Verificação formal and artificial intelligence.