Add risc0-prover to rollup-template.

examples/demo-rollup/provers/risc0/guest-mock/src/bin/mock_da.rs

@@ -1,7 +1,6 @@
 #![no_main]
 use sov_risc0_adapter::guest::Risc0Guest;
 use demo_stf::{create_zk_app_template, AppVerifier};
-
 use sov_rollup_interface::mocks::MockDaVerifier;
 
 risc0_zkvm::guest::entry!(main);

templates/rollup-template/Cargo.toml

@@ -28,6 +28,7 @@ serde_json = { workspace = true }
 jsonrpsee = { workspace = true }
 anyhow = { workspace = true }
 
+template-risc0 = { path = "./provers/risc0" }
 template-stf = { path = "./stf", features = ["native"] } 
 
 sov-db = { path = "../../full-node/db/sov-db" } 

templates/rollup-template/provers/risc0/.cargo/config.toml

@@ -0,0 +1,2 @@
+[patch.crates-io]
+cc = { git = "https://github.com/rust-lang/cc-rs", rev = "e5bbdfa" }

templates/rollup-template/provers/risc0/Cargo.toml

@@ -0,0 +1,16 @@
+[package]
+name = "template-risc0"
+version = "0.2.0"
+edition = "2021"
+resolver = "2"
+license = "MIT OR Apache-2.0"
+publish = false
+
+[build-dependencies]
+risc0-build = { workspace = true }
+
+[package.metadata.risc0]
+methods = ["guest-mock"]
+
+[features]
+bench = []

templates/rollup-template/provers/risc0/build.rs

@@ -0,0 +1,23 @@
+use std::collections::HashMap;
+
+fn main() {
+    if std::env::var("CI_SKIP_GUEST_BUILD").is_ok() {
+        println!("Skipping guest build for CI run");
+        let out_dir = std::env::var_os("OUT_DIR").unwrap();
+        let out_dir = std::path::Path::new(&out_dir);
+        let methods_path = out_dir.join("methods.rs");
+
+        let elf = r#"
+            pub const MOCK_DA_ELF: &[u8] = &[];
+        "#;
+
+        std::fs::write(methods_path, elf).expect("Failed to write mock rollup elf");
+    } else {
+        let guest_pkg_to_options = get_guest_options();
+        risc0_build::embed_methods_with_options(guest_pkg_to_options);
+    }
+}
+
+fn get_guest_options() -> HashMap<&'static str, risc0_build::GuestOptions> {
+    HashMap::new()
+}