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

Odaily星球日報訊 以太坊開發人員Rick Dudley 於X 發文喊話Vitalik Buterin，表示讓信標鏈運行RISC-V，然後在其中運行EVM 非常有意義，他非常有興趣管理這個專案。 Vitalik 對此回應稱，現有以太坊有效性證明形式化驗證路線圖的很大一部分是在RISC-V 中對EVM 進行驗證部署，並建議Dudley 與負責以太坊形式化驗證與人工智慧的Alexander Hicks接洽。