Skip to content

Commit

Permalink
Fix test compilation
Browse files Browse the repository at this point in the history
  • Loading branch information
preston-evans98 committed Oct 27, 2023
1 parent d778a6b commit 706a4bb
Show file tree
Hide file tree
Showing 4 changed files with 14 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ use demo_stf::AppVerifier;
use sov_celestia_adapter::types::Namespace;
use sov_celestia_adapter::verifier::CelestiaVerifier;
use sov_modules_api::default_context::ZkDefaultContext;
use sov_modules_stf_template::AppTemplate;
use sov_modules_stf_template::{kernels::basic::BasicKernel, AppTemplate};
use sov_risc0_adapter::guest::Risc0Guest;
use sov_state::ZkStorage;

Expand All @@ -20,7 +20,8 @@ risc0_zkvm::guest::entry!(main);
pub fn main() {
let guest = Risc0Guest::new();
let storage = ZkStorage::new();
let app: AppTemplate<ZkDefaultContext, _, _, Runtime<_, _>> = AppTemplate::new();
let app: AppTemplate<ZkDefaultContext, _, _, Runtime<_, _>, BasicKernel<_>> =
AppTemplate::new();

let mut stf_verifier = AppVerifier::new(
app,
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
use demo_stf::runtime::Runtime;
use demo_stf::AppVerifier;
use sov_modules_api::default_context::ZkDefaultContext;
use sov_modules_stf_template::AppTemplate;
use sov_modules_stf_template::{kernels::basic::BasicKernel, AppTemplate};
use sov_risc0_adapter::guest::Risc0Guest;
use sov_rollup_interface::mocks::MockDaVerifier;
use sov_state::ZkStorage;
Expand All @@ -12,7 +12,8 @@ risc0_zkvm::guest::entry!(main);
pub fn main() {
let guest = Risc0Guest::new();
let storage = ZkStorage::new();
let app: AppTemplate<ZkDefaultContext, _, _, Runtime<_, _>> = AppTemplate::new();
let app: AppTemplate<ZkDefaultContext, _, _, Runtime<_, _>, BasicKernel<_>> =
AppTemplate::new();

let mut stf_verifier = AppVerifier::new(app, MockDaVerifier {});

Expand Down
4 changes: 4 additions & 0 deletions examples/demo-rollup/src/celestia_rollup.rs
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@ use sov_celestia_adapter::{CelestiaConfig, CelestiaService};
use sov_modules_api::default_context::{DefaultContext, ZkDefaultContext};
use sov_modules_api::Spec;
use sov_modules_rollup_template::{RollupTemplate, WalletTemplate};
use sov_modules_stf_template::kernels::basic::BasicKernel;
use sov_risc0_adapter::host::Risc0Host;
use sov_rollup_interface::services::da::DaService;
use sov_state::storage_manager::ProverStorageManager;
Expand All @@ -32,6 +33,9 @@ impl RollupTemplate for CelestiaDemoRollup {

type NativeRuntime = Runtime<Self::NativeContext, Self::DaSpec>;

type NativeKernel = BasicKernel<Self::NativeContext>;
type ZkKernel = BasicKernel<Self::ZkContext>;

fn create_rpc_methods(
&self,
storage: &<Self::NativeContext as sov_modules_api::Spec>::Storage,
Expand Down
4 changes: 4 additions & 0 deletions examples/demo-rollup/src/mock_rollup.rs
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,7 @@ use sov_db::ledger_db::LedgerDB;
use sov_modules_api::default_context::{DefaultContext, ZkDefaultContext};
use sov_modules_api::Spec;
use sov_modules_rollup_template::RollupTemplate;
use sov_modules_stf_template::kernels::basic::BasicKernel;
use sov_risc0_adapter::host::Risc0Host;
use sov_rollup_interface::mocks::{MockDaConfig, MockDaService, MockDaSpec};
use sov_rollup_interface::services::da::DaService;
Expand All @@ -30,6 +31,9 @@ impl RollupTemplate for MockDemoRollup {
type ZkRuntime = Runtime<Self::ZkContext, Self::DaSpec>;
type NativeRuntime = Runtime<Self::NativeContext, Self::DaSpec>;

type NativeKernel = BasicKernel<Self::NativeContext>;
type ZkKernel = BasicKernel<Self::ZkContext>;

fn create_rpc_methods(
&self,
storage: &<Self::NativeContext as Spec>::Storage,
Expand Down

0 comments on commit 706a4bb

Please sign in to comment.