Paste ELF binary as base64, or raw bytes as hex (e.g. 93 00 10 00 or 0x00100093). Assemble with riscv32-unknown-elf-gcc -march=rv32i -mabi=ilp32 -nostdlib -o prog.elf prog.s then base64 -i prog.elf (macOS) or base64 < prog.elf.
Paste Solidity source, or pick an example. The zkVM compiles it to EVM bytecode and proves execution step by step.