Vitalik: Une grande partie de la feuille de route de la preuve de validité pour Ethereum existant est la vérification de la mise en œuvre de l'EVM dans RISC-V.
Gold Finance reported that Rick Dudley, a developer of the Ethereum platform, called on Vitalik Buterin, co-founder of the Ethereum platform, on the X platform, stating that it is not difficult to make the ETH platform beacon chain run RISC-V and make running EVM meaningful. He is very interested in managing this project. In response, Vitalik Buterin said that a large part of the existing ETH proof of validity formal verification roadmap is to verify and implement the EVM in RISC-V, and suggested that Rick Dudley contact Alexander Hicks, who is responsible for ETH formal verification and artificial intelligence.
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
Vitalik: Une grande partie de la feuille de route de la preuve de validité pour Ethereum existant est la vérification de la mise en œuvre de l'EVM dans RISC-V.
Gold Finance reported that Rick Dudley, a developer of the Ethereum platform, called on Vitalik Buterin, co-founder of the Ethereum platform, on the X platform, stating that it is not difficult to make the ETH platform beacon chain run RISC-V and make running EVM meaningful. He is very interested in managing this project. In response, Vitalik Buterin said that a large part of the existing ETH proof of validity formal verification roadmap is to verify and implement the EVM in RISC-V, and suggested that Rick Dudley contact Alexander Hicks, who is responsible for ETH formal verification and artificial intelligence.