Віталік: Значна частина існуючої дорожньої карти офіційної верифікації прапора Ethereum – це верифікаційна реалізація EVM у RISC-V

Згідно з повідомленням на Gold Finance, розробник ETH, Рік Дадлі, закликав співзасновника ETH, Віталіка Бутеріна, щоб запустити ланцюг довіри ETH на RISC-V і зробив це вигідним для розробки EVM, і він зацікавлений у керуванні цим проектом. У зв'язку з цим Віталік Бутерін відповів, що значна частина маршруту ETH для доказу дійсності Формальна верифікація вже включає верифікацію EVM в RISC-V і рекомендує Ріку Дадлі звернутися до Александра Гікса, який відповідає за Формальна верифікація та Штучний інтелект в ETH.