RISC0_DEV_MODE=0 cargo run --release