Vitalik：現有以太坊有效性證明形式化驗證路線圖的很大一部分是在RISC-V中對EVM進行驗證實現

金色財經報道，以太坊開發人員Rick Dudley在X平臺喊話以太坊聯合創始人Vitalik Buterin，表示如果要讓以太坊信標鏈運行RISC-V並使得運行EVM有意義並不困難，他非常有興趣管理這個項目。對此，Vitalik Buterin回應稱，現有以太坊有效性證明形式化驗證路線圖的很大一部分是在RISC-V中對EVM進行驗證實現，並且建議Rick Dudley與負責以太坊形式化驗證與人工智能的Alexander Hicks進行接洽。