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