Move mock adapters to separate crates

Cargo.toml

@@ -5,22 +5,25 @@ members = [
     "adapters/avail",
     "adapters/risc0",
     "adapters/celestia",
+    "adapters/mock-da",
+    "adapters/mock-zkvm",
+    # Examples
     "examples/const-rollup-config",
     "examples/demo-simple-stf",
     "examples/demo-rollup",
     "examples/simple-nft-module",
-
+    # Full Node
     "full-node/db/sov-db",
     "full-node/sov-sequencer",
     "full-node/sov-ethereum",
     "full-node/sov-ledger-rpc",
     "full-node/sov-stf-runner",
-
+    # Utils
     "utils/zk-cycle-macros",
     "utils/zk-cycle-utils",
     "utils/bashtestmd",
     "utils/rng-da-service",
-
+    # Module System
     "module-system/sov-cli",
     "module-system/sov-modules-stf-template",
     "module-system/sov-modules-rollup-template",

Makefile

@@ -47,7 +47,7 @@ check-no-std: ## Checks that project compiles without std
 	$(MAKE) -C ./rollup-interface $@
 
 find-unused-deps: ## Prints unused dependencies for project. Note: requires nightly
-	cargo udeps --all-targets --all-features
+	cargo +nightly udeps --all-targets --all-features
 
 find-flaky-tests:  ## Runs tests over and over to find if there's flaky tests
 	flaky-finder -j16 -r320 --continue "cargo test -- --nocapture"

adapters/avail/Cargo.toml

@@ -35,5 +35,4 @@ sp-core = { version = "21", optional = true }
 
 [features]
 default = ["native"]
-native = ["dep:tokio", "dep:codec", "dep:reqwest", "dep:avail-subxt", "dep:subxt", "dep:sp-keyring", "dep:sp-core", "sov-rollup-interface/native"]
-verifier = []
+native = ["dep:tokio", "dep:codec", "dep:reqwest", "dep:avail-subxt", "dep:subxt", "dep:sp-keyring", "dep:sp-core", "sov-rollup-interface/native"]

adapters/celestia/Cargo.toml

@@ -66,5 +66,4 @@ risc0 = [
 bench = [
     "sov-zk-cycle-macros/bench",
     "risc0"
-]
-verifier = []
+]

adapters/celestia/src/verifier/mod.rs

@@ -45,15 +45,15 @@ impl BlobReaderTrait for BlobWithSender {
         self.blob.accumulator()
     }
 
+    fn total_len(&self) -> usize {
+        self.blob.total_len()
+    }
+
     #[cfg(feature = "native")]
     fn advance(&mut self, num_bytes: usize) -> &[u8] {
         self.blob.advance(num_bytes);
         self.verified_data()
     }
-
-    fn total_len(&self) -> usize {
-        self.blob.total_len()
-    }
 }
 
 #[derive(Debug, PartialEq, Clone, Eq, Hash, Serialize, Deserialize)]

adapters/mock-da/Cargo.toml

@@ -0,0 +1,31 @@
+[package]
+name = "sov-mock-da"
+description = "Mock impelemntation of Data Availability layer for testing purposes"
+version.workspace = true
+edition.workspace = true
+license.workspace = true
+authors.workspace = true
+homepage.workspace = true
+publish.workspace = true
+repository.workspace = true
+readme = "README.md"
+
+[dependencies]
+anyhow = { workspace = true }
+async-trait = { workspace = true }
+borsh = { workspace = true, features = ["bytes"] }
+bytes = { workspace = true, features = ["serde"] }
+serde = { workspace = true }
+hex = { workspace = true }
+sha2 = { workspace = true }
+tokio = { workspace = true, optional = true }
+
+sov-rollup-interface = { path = "../../rollup-interface", version = "0.3" }
+
+
+[features]
+default = []
+native = [
+    "dep:tokio",
+    "sov-rollup-interface/native"
+]

adapters/mock-da/README.md

@@ -0,0 +1,10 @@
+# `sov-mock-da`
+
+Mock implementation of `DaService`, `DaSpec` and `DaVerifier` traits.
+
+Used for testing and demo purposes.
+
+
+sov-mock-da should be imported with "native" flag if any module is imported with the native flag. 
+Modules indirectly import rollup-interface with native,
+which means that sov-mock-da cannot fully implement BlobReader if it also does not have "native".

adapters/mock-da/src/lib.rs

@@ -0,0 +1,15 @@
+#![deny(missing_docs)]
+#![doc = include_str!("../README.md")]
+
+#[cfg(feature = "native")]
+mod service;
+mod types;
+mod validity_condition;
+/// Contains DaSpec and DaVerifier
+pub mod verifier;
+
+#[cfg(feature = "native")]
+pub use service::*;
+pub use types::*;
+pub use validity_condition::*;
+pub use verifier::MockDaSpec;

rollup-interface/src/state_machine/mocks/service.rs → adapters/mock-da/src/service.rs

@@ -1,11 +1,12 @@
 use async_trait::async_trait;
+use sov_rollup_interface::da::DaSpec;
+use sov_rollup_interface::maybestd::sync::Arc;
+use sov_rollup_interface::services::da::DaService;
 use tokio::sync::mpsc::{self, Receiver, Sender};
 use tokio::sync::Mutex;
 
-use crate::da::DaSpec;
-use crate::maybestd::sync::Arc;
-use crate::mocks::{MockAddress, MockBlob, MockBlock, MockDaSpec, MockDaVerifier};
-use crate::services::da::DaService;
+use crate::types::{MockAddress, MockBlob, MockBlock, MockDaVerifier};
+use crate::verifier::MockDaSpec;
 
 #[derive(Clone)]
 /// DaService used in tests.