feat: add a check on OP Succinct cycle count in CI

bin/host/Cargo.toml

@@ -49,6 +49,11 @@ op-alloy-network.workspace = true
 # Revm
 revm = { workspace = true, features = ["std", "c-kzg", "secp256k1", "portable", "blst"] }
 
+# SP1
+sp1-sdk = { version = "4.1.0", optional = true }
+op-succinct-client-utils = { git = "https://github.com/succinctlabs/op-succinct", tag = "v1.2.2", optional = true }
+op-succinct-host-utils = { git = "https://github.com/succinctlabs/op-succinct", tag = "v1.2.2", optional = true }
+
 # General
 anyhow.workspace = true
 tracing.workspace = true
@@ -64,11 +69,25 @@ tracing-subscriber = { workspace = true, features = ["fmt"] }
 [dev-dependencies]
 proptest.workspace = true
 
+[build-dependencies]
+sp1-helper = { version = "4.1.0", optional = true }
+
 [features]
 default = ["single", "interop"]
 single = []
 interop = ["single"]
+sp1 = [
+    "dep:sp1-helper",
+    "dep:sp1-sdk",
+    "dep:op-succinct-client-utils",
+    "dep:op-succinct-host-utils",
+]
 
 [[bin]]
 name = "kona-host"
 path = "src/bin/host.rs"
+
+[[bin]]
+name = "sp1"
+path = "src/sp1/main.rs"
+required-features = ["sp1"]

bin/host/build.rs

@@ -0,0 +1,6 @@
+//! Builds the SP1 program
+
+fn main() {
+    #[cfg(feature = "sp1")]
+    sp1_helper::build_program("./src/sp1/program");
+}

bin/host/src/kv/mem.rs

@@ -30,3 +30,10 @@ impl KeyValueStore for MemoryKeyValueStore {
         Ok(())
     }
 }
+
+#[cfg(feature = "sp1")]
+impl From<MemoryKeyValueStore> for op_succinct_client_utils::InMemoryOracle {
+    fn from(value: MemoryKeyValueStore) -> Self {
+        Self { cache: value.store.into_iter().map(|(k, v)| (k.0, v)).collect() }
+    }
+}

bin/host/src/sp1/main.rs

@@ -0,0 +1,22 @@
+//! Main entrypoint for SP1 the host binary.
+
+use kona_host::{DiskKeyValueStore, MemoryKeyValueStore};
+use op_succinct_client_utils::InMemoryOracle;
+use op_succinct_host_utils::get_proof_stdin;
+use sp1_sdk::{include_elf, ProverClient};
+
+#[tokio::main(flavor = "multi_thread")]
+async fn main() -> anyhow::Result<()> {
+    let elf = include_elf!("op-succinct");
+    let disk_kv_store = DiskKeyValueStore::new("./data".into());
+    let mem_kv_store = MemoryKeyValueStore::try_from(disk_kv_store)?;
+    let oracle = InMemoryOracle::from(mem_kv_store);
+    let stdin = get_proof_stdin(oracle)?;
+    let prover = ProverClient::builder().cpu().build();
+
+    let (_, execution_report) = prover.execute(elf, &stdin).run()?;
+
+    println!("{execution_report}");
+
+    Ok(())
+}