Introduce prove with fakes

src/citrea_config/batch_prover.rs

@@ -2,16 +2,16 @@ use serde::{Deserialize, Serialize};
 
 /// The possible configurations of the prover.
 #[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize)]
-#[serde(rename_all = "lowercase")]
+#[serde(rename_all = "kebab-case")]
 pub enum ProverGuestRunConfig {
     /// Skip proving.
     Skip,
-    /// Run the rollup verification logic inside the current process.
-    Simulate,
     /// Run the rollup verifier in a zkVM executor.
     Execute,
     /// Run the rollup verifier and create a SNARK of execution.
     Prove,
+    /// Run the rollup verifier and create a SNARK or a fake proof of execution.
+    ProveWithFakes,
 }
 
 impl<'de> Deserialize<'de> for ProverGuestRunConfig {
@@ -22,9 +22,9 @@ impl<'de> Deserialize<'de> for ProverGuestRunConfig {
         let s = String::deserialize(deserializer)?;
         match s.as_str() {
             "skip" => Ok(ProverGuestRunConfig::Skip),
-            "simulate" => Ok(ProverGuestRunConfig::Simulate),
             "execute" => Ok(ProverGuestRunConfig::Execute),
             "prove" => Ok(ProverGuestRunConfig::Prove),
+            "prove-with-fakes" => Ok(ProverGuestRunConfig::ProveWithFakes),
             _ => Err(serde::de::Error::custom("invalid prover guest run config")),
         }
     }