Vitalik Buterin’s proposal to replace the EVM with RISC-V confirms that Solidity and Vyper will remain the primary smart contract languages, adapted to compile directly to RISC-V instead of EVM bytecode.