remove zkvmnetwork trait and networkproverservice

crates/adapters/mock-zkvm/src/lib.rs

@@ -11,10 +11,6 @@ pub use guest::MockZkGuest;
 mod host;
 #[cfg(feature = "native")]
 pub use host::MockZkvmHost;
-#[cfg(feature = "native")]
-mod network;
-#[cfg(feature = "native")]
-pub use network::MockZkvmNetwork;
 use serde::de::DeserializeOwned;
 use serde::{Deserialize, Serialize};
 pub mod crypto;
@@ -61,9 +57,6 @@ impl Zkvm for MockZkvm {
 
     #[cfg(feature = "native")]
     type OuterHost = crate::host::MockZkvmHost;
-
-    #[cfg(feature = "native")]
-    type Network = crate::network::MockZkvmNetwork;
 }
 /// A mock commitment to a particular zkVM program.
 #[derive(
@@ -145,7 +138,7 @@ impl sov_rollup_interface::zk::ZkVerifier for MockZkVerifier {
 #[cfg(test)]
 mod tests {
     use sov_rollup_interface::crypto::PublicKey;
-    use sov_rollup_interface::zk::{ZkVerifier, ZkvmHost, ZkvmNetwork};
+    use sov_rollup_interface::zk::{ZkVerifier, ZkvmHost};
 
     use super::*;
 
@@ -198,58 +191,4 @@ mod tests {
 
         Ok(())
     }
-
-    #[tokio::test]
-    async fn test_mock_network() -> anyhow::Result<()> {
-        let network = MockZkvmNetwork::new(false);
-        let pub_data = TestPublicData {
-            hint: "NetworkTest".to_owned(),
-        };
-
-        let handle = network.add_hint_and_submit(&pub_data).await?;
-
-        // Proof should be pending
-        assert_eq!(network.poll(&handle).await?, None);
-
-        // Complete the proof
-        network.complete_proof(handle);
-
-        // Now poll should return the proof bytes
-        let proof_bytes = network
-            .poll(&handle)
-            .await?
-            .expect("proof should be ready after complete_proof");
-
-        let proof = SerializedZkProof {
-            raw_proof: proof_bytes,
-        };
-        let verified =
-            MockZkVerifier::verify_with_proof::<TestPublicData>(&proof, &Default::default())?;
-        assert_eq!(verified, pub_data);
-        Ok(())
-    }
-
-    #[tokio::test]
-    async fn test_mock_network_auto_complete() -> anyhow::Result<()> {
-        let network = MockZkvmNetwork::new(true);
-        let pub_data = TestPublicData {
-            hint: "AutoComplete".to_owned(),
-        };
-
-        let handle = network.add_hint_and_submit(&pub_data).await?;
-
-        // Proof should be immediately ready
-        let proof_bytes = network
-            .poll(&handle)
-            .await?
-            .expect("auto-complete proof should be immediately ready");
-
-        let proof = SerializedZkProof {
-            raw_proof: proof_bytes,
-        };
-        let verified =
-            MockZkVerifier::verify_with_proof::<TestPublicData>(&proof, &Default::default())?;
-        assert_eq!(verified, pub_data);
-        Ok(())
-    }
 }

crates/adapters/risc0/src/lib.rs

@@ -123,9 +123,6 @@ impl sov_rollup_interface::zk::Zkvm for Risc0 {
 
     #[cfg(feature = "native")]
     type OuterHost = crate::host::Risc0Host<'static>;
-
-    #[cfg(feature = "native")]
-    type Network = sov_rollup_interface::zk::NoopZkvmNetwork<crate::guest::Risc0Guest>;
 }
 
 #[cfg(target_os = "zkvm")]

crates/adapters/sp1/src/lib.rs

@@ -21,11 +21,6 @@ pub mod crypto;
 pub mod guest;
 #[cfg(feature = "native")]
 pub mod host;
-#[cfg(feature = "native")]
-pub mod network;
-
-#[cfg(feature = "native")]
-pub mod metrics;
 
 /// Uniquely identifies a SP1 binary. Stored as a serialized version of `SP1VerifyingKey`.
 ///
@@ -167,9 +162,6 @@ impl sov_rollup_interface::zk::Zkvm for SP1 {
 
     #[cfg(feature = "native")]
     type OuterHost = crate::host::SP1AggregationHost;
-
-    #[cfg(feature = "native")]
-    type Network = crate::network::SP1Network;
 }
 
 #[cfg(target_os = "zkvm")]