replace the EVM with RISC-V

0x12a62410e24cfc307e1603bf9c6a0c1f4abe5457