Remove HashStf (#1558)

bin/citrea/tests/bitcoin_e2e/full_node.rs

@@ -0,0 +1,80 @@
+use async_trait::async_trait;
+use citrea_e2e::config::TestCaseConfig;
+use citrea_e2e::framework::TestFramework;
+use citrea_e2e::test_case::{TestCase, TestCaseRunner};
+use citrea_e2e::traits::Restart;
+use citrea_e2e::Result;
+use sov_ledger_rpc::client::RpcClient;
+
+use super::get_citrea_path;
+
+struct FullNodeRestartTest;
+
+#[async_trait]
+impl TestCase for FullNodeRestartTest {
+    fn test_config() -> TestCaseConfig {
+        TestCaseConfig {
+            with_sequencer: true,
+            with_full_node: true,
+            ..Default::default()
+        }
+    }
+
+    async fn run_test(&mut self, f: &mut TestFramework) -> Result<()> {
+        let sequencer = f.sequencer.as_ref().unwrap();
+        let full_node = f.full_node.as_mut().unwrap();
+
+        let genesis_state_root = full_node
+            .client
+            .http_client()
+            .get_l2_genesis_state_root()
+            .await?
+            .unwrap();
+
+        full_node.restart(None).await?;
+
+        let genesis_state_root_after = full_node
+            .client
+            .http_client()
+            .get_l2_genesis_state_root()
+            .await?
+            .unwrap();
+
+        // Verify genesis is not reprocessed
+        assert_eq!(genesis_state_root, genesis_state_root_after);
+
+        sequencer.client.send_publish_batch_request().await?;
+        full_node.wait_for_l2_height(1, None).await?;
+
+        let state_root_before = full_node
+            .client
+            .http_client()
+            .get_head_soft_confirmation()
+            .await?
+            .unwrap()
+            .state_root;
+
+        full_node.restart(None).await?;
+
+        let state_root_after = full_node
+            .client
+            .http_client()
+            .get_head_soft_confirmation()
+            .await?
+            .unwrap()
+            .state_root;
+
+        // Verify state root persists across restarts
+        assert_eq!(state_root_before, state_root_after);
+
+        Ok(())
+    }
+}
+
+#[tokio::test]
+async fn test_full_node_restart() -> Result<()> {
+    TestCaseRunner::new(FullNodeRestartTest)
+        .set_citrea_path(get_citrea_path())
+        .run()
+        .await
+}

bin/citrea/tests/bitcoin_e2e/mod.rs

@@ -4,6 +4,7 @@ pub mod batch_prover_test;
 pub mod light_client_test;
 // pub mod mempool_accept;
 pub mod bitcoin_test;
+pub mod full_node;
 pub mod sequencer_commitments;
 pub mod sequencer_test;
 pub mod tx_chain;

crates/fullnode/Cargo.toml

@@ -45,6 +45,5 @@ tempfile = { workspace = true }
 
 citrea-primitives = { path = "../primitives", features = ["testing"] }
 sov-mock-da = { path = "../sovereign-sdk/adapters/mock-da", features = ["native"] }
-sov-mock-zkvm = { path = "../sovereign-sdk/adapters/mock-zkvm" }
 sov-prover-storage-manager = { path = "../sovereign-sdk/full-node/sov-prover-storage-manager", features = ["test-utils"] }
 sov-state = { path = "../sovereign-sdk/module-system/sov-state", features = ["native"] }