ChainCatcher 消息，以太坊联合创始人 Vitalik Buterin 表示，精简指令集计算 V（RISC-V）是以太坊虚拟机（EVM）的重要组成部分。Vitalik 指出，开源指令集在现有的有效性证明形式化验证路线图中至关重要。