I just posted part 2 of Arbitrum Stylus on RISC-V, which you can find here: https://stylus-saturdays.com/p/how-to-verify-your-stylus-contracts the OCaml simulator of riscv32im supports more operations, and the SDK is patched. Smart contracts on RISC-V Ethereum!