feat: add SP1 proof generation

.github/workflows/docs.yml

@@ -37,4 +37,5 @@ jobs:
       - name: Check docs leaving the dependencies out
         env:
           RUSTDOCFLAGS: -A rustdoc::private-doc-tests -D warnings
+          SP1_SKIP_PROGRAM_BUILD: true
         run: cargo doc --no-deps

Cargo.toml

@@ -138,6 +138,7 @@ zkaleido = { git = "https://github.com/alpenlabs/zkaleido", tag = "v0.1.0-alpha-
 zkaleido-native-adapter = { git = "https://github.com/alpenlabs/zkaleido", tag = "v0.1.0-alpha-rc22", features = [
   "remote-prover",
 ] }
+zkaleido-sp1-host = { git = "https://github.com/alpenlabs/zkaleido", tag = "v0.1.0-alpha-rc22" }
 
 # external dependencies
 anyhow = "1.0.86"

bin/asm-runner/Cargo.toml

@@ -21,7 +21,6 @@ strata-asm-proof-db.workspace = true
 strata-asm-proof-impl.workspace = true
 strata-asm-proof-types.workspace = true
 strata-asm-proto-bridge-v1.workspace = true
-strata-asm-spec.workspace = true
 strata-asm-txs-bridge-v1.workspace = true
 strata-asm-worker.workspace = true
 strata-btc-types.workspace = true
@@ -43,8 +42,15 @@ jsonrpsee = { workspace = true, features = ["server", "macros"] }
 serde.workspace = true
 serde_json.workspace = true
 ssz.workspace = true
+strata-asm-sp1-guest-builder = { path = "../../guest-builder/sp1", optional = true }
 threadpool = "1.8"
 tokio.workspace = true
 toml.workspace = true
 tracing.workspace = true
 zkaleido.workspace = true
+zkaleido-sp1-host = { workspace = true, optional = true, features = [
+  "remote-prover",
+] }
+
+[features]
+sp1 = ["dep:zkaleido-sp1-host", "dep:strata-asm-sp1-guest-builder"]

bin/asm-runner/src/bootstrap.rs

@@ -4,8 +4,6 @@ use anyhow::Result;
 use bitcoind_async_client::{Auth, Client};
 use strata_asm_params::AsmParams;
 use strata_asm_proof_db::SledProofDb;
-use strata_asm_proof_impl::program::AsmStfProofProgram;
-use strata_asm_spec::StrataAsmSpec;
 use strata_asm_worker::AsmWorkerBuilder;
 use strata_tasks::TaskExecutor;
 use tokio::{
@@ -51,7 +49,7 @@ pub(crate) async fn bootstrap(
     // 5. Set up BtcTracker to drive ASM
     let start_height = match asm_worker.monitor().get_current().cur_block {
         Some(blk) => blk.height(),
-        None => params.l1_view.height() + 1,
+        None => params.anchor.block.height() + 1,
     };
     let btc_tracker = Arc::new(
         setup_btc_tracker(&config.bitcoin, bitcoin_client.clone(), start_height as u64).await?,
@@ -65,12 +63,26 @@ pub(crate) async fn bootstrap(
         let proof_db = SledProofDb::open(&orch_config.proof_db_path)?;
         let proof_db_clone = proof_db.clone();
 
-        let spec = StrataAsmSpec::from_asm_params(&params);
-        let native_host = AsmStfProofProgram::native_host(spec);
+        #[cfg(feature = "sp1")]
+        let host = {
+            use std::fs;
+
+            use strata_asm_sp1_guest_builder::ASM_ELF_PATH;
+            use zkaleido_sp1_host::SP1Host;
+            let elf = fs::read(ASM_ELF_PATH)
+                .unwrap_or_else(|err| panic!("failed to read guest elf at {ASM_ELF_PATH}: {err}"));
+            SP1Host::init(&elf)
+        };
+
+        #[cfg(not(feature = "sp1"))]
+        let host = {
+            use strata_asm_proof_impl::program::AsmStfProofProgram;
+            AsmStfProofProgram::native_host()
+        };
 
         let input_builder = InputBuilder::new(asm_manager.clone(), bitcoin_client.clone());
         let mut orchestrator =
-            ProofOrchestrator::new(proof_db, native_host, orch_config, input_builder, rx);
+            ProofOrchestrator::new(proof_db, host, orch_config, input_builder, rx);
 
         // ZkVmRemoteProver is !Send (#[async_trait(?Send)]), so the orchestrator
         // future cannot be spawned on a multi-threaded runtime directly. We run it

bin/prover-perf/src/programs/asm_stf.rs

@@ -1,14 +1,12 @@
 use std::fs;
 
-use strata_asm_proof_impl::{
-    program::AsmStfProofProgram, test_utils::create_runtime_input_and_spec,
-};
+use strata_asm_proof_impl::{program::AsmStfProofProgram, test_utils::create_runtime_input};
 use strata_asm_sp1_guest_builder::ASM_ELF_PATH;
 use zkaleido::{PerformanceReport, ZkVmProgramPerf};
 use zkaleido_sp1_host::SP1Host;
 
 pub(crate) fn gen_perf_report() -> PerformanceReport {
-    let (input, _spec) = create_runtime_input_and_spec();
+    let input = create_runtime_input();
     let elf = fs::read(ASM_ELF_PATH)
         .unwrap_or_else(|err| panic!("failed to read guest elf at {ASM_ELF_PATH}: {err}"));
     let host = SP1Host::init(&elf);