fix: using SP1_PROVER to modulate Prover::Config::recursive_proofs

Author: distractedm1nd

crates/cli/src/main.rs

@@ -69,13 +69,16 @@ async fn main() -> std::io::Result<()> {
                 verifying_key.to_bytes().to_base64()
             );
 
+            // When SP1_PROVER is set to mock, disable recursive proofs
+            let recursive_proofs = std::env::var("SP1_PROVER").map_or(true, |val| val != "mock");
             let prover_cfg = prism_prover::Config {
                 prover: true,
                 batcher: true,
                 webserver: config.webserver.unwrap_or_default(),
                 signing_key,
                 verifying_key,
                 start_height,
+                recursive_proofs,
             };
 
             Arc::new(Prover::new(db, da, &prover_cfg).map_err(|e| {
@@ -102,13 +105,16 @@ async fn main() -> std::io::Result<()> {
                 .verifying_key
                 .ok_or_else(|| Error::new(ErrorKind::NotFound, "prover verifying key not found"))?;
 
+            // When SP1_PROVER is set to mock, disable recursive proofs
+            let recursive_proofs = std::env::var("SP1_PROVER").map_or(true, |val| val != "mock");
             let prover_cfg = prism_prover::Config {
                 prover: false,
                 batcher: true,
                 webserver: config.webserver.unwrap_or_default(),
                 signing_key,
                 verifying_key,
                 start_height,
+                recursive_proofs,
             };
 
             Arc::new(Prover::new(db, da, &prover_cfg).map_err(|e| {

crates/node_types/prover/src/prover/mod.rs

@@ -66,6 +66,7 @@ pub struct Config {
     /// DA layer height the prover should start syncing transactions from.
     pub start_height: u64,
 
+    /// Whether recursive proofs should be enabled - defaults to true, unless SP1_PROVER env var is set to "mock"
     pub recursive_proofs: bool,
 }
 
@@ -80,7 +81,7 @@ impl Default for Config {
             signing_key: signing_key.clone(),
             verifying_key: signing_key.verifying_key(),
             start_height: 1,
-            recursive_proofs: false,
+            recursive_proofs: true,
         }
     }
 }
@@ -105,7 +106,7 @@ impl Config {
             signing_key: signing_key.clone(),
             verifying_key: signing_key.verifying_key(),
             start_height: 1,
-            recursive_proofs: false,
+            recursive_proofs: true,
         })
     }
 }