risc0.nix Create a new risc0 template with the following: nix flake new --template github:argumentcomputer/risc0.nix ./hello-world Then enter a Nix shell with nix develop and run with cargo run