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údo de terceiros, que é fornecido apenas para fins informativos (não para representações/garantias) e não deve ser considerada como um endosso de suas opiniões pela Gate nem como aconselhamento financeiro ou profissional. Consulte a Isenção de responsabilidade para obter detalhes.
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.