Fixes in demo-prover

Sovereign-Labs · Jul 17, 2023 · e3c8548 · e3c8548
1 parent e622275
commit e3c8548
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/examples/demo-prover/host/src/main.rs b/examples/demo-prover/host/src/main.rs
@@ -8,6 +8,7 @@ use demo_stf::runner_config::{from_toml_path, Config as RunnerConfig};
 use jupiter::da_service::{CelestiaService, DaServiceConfig};
 use jupiter::types::NamespaceId;
 use jupiter::verifier::RollupParams;
+use jupiter::BlobWithSender;
 use methods::{ROLLUP_ELF, ROLLUP_ID};
 use risc0_adapter::host::Risc0Host;
 use serde::Deserialize;
@@ -54,7 +55,8 @@ async fn main() -> Result<(), anyhow::Error> {
 
     let sequencer_private_key = DefaultPrivateKey::generate();
 
-    let mut demo_runner = NativeAppRunner::<Risc0Host>::new(rollup_config.runner.clone());
+    let mut demo_runner =
+        NativeAppRunner::<Risc0Host, BlobWithSender>::new(rollup_config.runner.clone());
     let is_storage_empty = demo_runner.get_storage().is_empty();
     let demo = demo_runner.inner_mut();
 

diff --git a/examples/demo-prover/methods/guest/src/bin/rollup.rs b/examples/demo-prover/methods/guest/src/bin/rollup.rs
@@ -45,9 +45,10 @@ pub fn main() {
     env::write(&"txs read\n");
 
     // Step 2: Apply blobs
-    let mut demo_runner = <ZkAppRunner<Risc0Guest> as StateTransitionRunner<
+    let mut demo_runner = <ZkAppRunner<Risc0Guest, BlobWithSender> as StateTransitionRunner<
         ZkConfig,
         Risc0Guest,
+        BlobWithSender,
     >>::new(prev_state_root_hash);
     let demo = demo_runner.inner_mut();