On October 28, Ethernet co-founder Vitalik Buterin said that Reduced Instruction Set Computing V (RISC-V) is an important part of the Ethernet Virtual Machine (EVM).Buterin noted that the open-source instruction set is critical in the existing roadmap for formal verification of proof of validity.