ChainCatcher 消息，以太坊聯合創始人 Vitalik Buterin 表示，精簡指令集計算 V（RISC-V）是以太坊虛擬機（EVM）的重要組成部分。Vitalik 指出，開源指令集在現有的有效性證明形式化驗證路線圖中至關重要。