Vitalik Buterin：精簡指令集計算V（RISC-V）是以太坊虛擬機的重要組成部分

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