Adds a RISC0 backend which generates Rust code that can be compiled with the official RISC0 toolchain.
The RISC0 backend is a wrapper around the Rust backend.
Adds the risc0-rust to the compile CLI command, which creates a directory containing host and guest Rust sources for the RISC0 zkVM. The generated code can be compiled/run using cargo from inside the created directory (requires having RISC0 installed: https://dev.risczero.com/api/zkvm/install).
risc0-rustto thecompileCLI command, which creates a directory containing host and guest Rust sources for the RISC0 zkVM. The generated code can be compiled/run usingcargofrom inside the created directory (requires having RISC0 installed: https://dev.risczero.com/api/zkvm/install).