10月28日，以太坊联合创始人 Vitalik Buterin 表示，精简指令集计算 V（RISC-V）是以太坊虚拟机（EVM）的重要组成部分。Buterin 指出，开源指令集在现有的有效性证明形式化验证路线图中至关重要。
文章版权声明：除非注明，否则均为区块家园原创文章，转载或复制请以超链接形式并注明出处。
10月28日，以太坊联合创始人 Vitalik Buterin 表示，精简指令集计算 V（RISC-V）是以太坊虚拟机（EVM）的重要组成部分。Buterin 指出，开源指令集在现有的有效性证明形式化验证路线图中至关重要。