Developers would still write contracts in familiar languages like Solidity or Vyper. These would simply be compiled to RISC-V rather than EVM bytecode.
Quote
Sources
Vitalik Buterin Shares a ‘Radical’ Vision for a Simpler, Faster Ethereum
Referenced by
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.
Crypto news
Claim