Vitalik Buterin, co-founder of Ethereum, said that the streamlined Instruction Set Architecture Compute V (RISC-V) is an important part of the Ethereum Virtual Machine (EVM). Buterin pointed out that the open-source Instruction Set Architecture is crucial in the existing roadmap for formal verification of proof of validity.