diff --git a/examples/demo-rollup/provers/risc0/guest-celestia/src/bin/rollup.rs b/examples/demo-rollup/provers/risc0/guest-celestia/src/bin/rollup.rs
index 2ab0b179b..1eaa6debc 100644
--- a/examples/demo-rollup/provers/risc0/guest-celestia/src/bin/rollup.rs
+++ b/examples/demo-rollup/provers/risc0/guest-celestia/src/bin/rollup.rs
@@ -4,7 +4,7 @@
 
 use const_rollup_config::ROLLUP_NAMESPACE_RAW;
 use demo_stf::runtime::Runtime;
-use demo_stf::AppVerifier;
+use demo_stf::StfVerifier;
 use sov_celestia_adapter::types::Namespace;
 use sov_celestia_adapter::verifier::CelestiaVerifier;
 use sov_modules_api::default_context::ZkDefaultContext;
@@ -23,7 +23,7 @@ pub fn main() {
     let stf: StfBlueprint<ZkDefaultContext, _, _, Runtime<_, _>, BasicKernel<_>> =
         StfBlueprint::new();
 
-    let mut stf_verifier = AppVerifier::new(
+    let mut stf_verifier = StfVerifier::new(
         stf,
         CelestiaVerifier {
             rollup_namespace: ROLLUP_NAMESPACE,
diff --git a/examples/demo-rollup/provers/risc0/guest-mock/src/bin/mock_da.rs b/examples/demo-rollup/provers/risc0/guest-mock/src/bin/mock_da.rs
index 17067bdcd..0f111c0f8 100644
--- a/examples/demo-rollup/provers/risc0/guest-mock/src/bin/mock_da.rs
+++ b/examples/demo-rollup/provers/risc0/guest-mock/src/bin/mock_da.rs
@@ -1,6 +1,6 @@
 #![no_main]
 use demo_stf::runtime::Runtime;
-use demo_stf::AppVerifier;
+use demo_stf::StfVerifier;
 #[cfg(feature = "bench")]
 use risc0_zkvm::guest::env;
 use sov_mock_da::MockDaVerifier;
@@ -39,7 +39,7 @@ pub fn main() {
     let stf: StfBlueprint<ZkDefaultContext, _, _, Runtime<_, _>, BasicKernel<_>> =
         StfBlueprint::new();
 
-    let mut stf_verifier = AppVerifier::new(stf, MockDaVerifier {});
+    let mut stf_verifier = StfVerifier::new(stf, MockDaVerifier {});
 
     stf_verifier
         .run_block(guest, storage)
diff --git a/examples/demo-rollup/stf/src/lib.rs b/examples/demo-rollup/stf/src/lib.rs
index 4c20247d8..d5cf7ce95 100644
--- a/examples/demo-rollup/stf/src/lib.rs
+++ b/examples/demo-rollup/stf/src/lib.rs
@@ -13,5 +13,5 @@ use sov_rollup_interface::da::DaVerifier;
 use sov_stf_runner::verifier::StateTransitionVerifier;
 
 /// Alias for StateTransitionVerifier.
-pub type AppVerifier<DA, Vm, ZkContext, RT, K> =
+pub type StfVerifier<DA, Vm, ZkContext, RT, K> =
     StateTransitionVerifier<StfBlueprint<ZkContext, <DA as DaVerifier>::Spec, Vm, RT, K>, DA, Vm>;
diff --git a/module-system/sov-modules-rollup-blueprint/src/lib.rs b/module-system/sov-modules-rollup-blueprint/src/lib.rs
index deb8e8f77..6cc66e5c5 100644
--- a/module-system/sov-modules-rollup-blueprint/src/lib.rs
+++ b/module-system/sov-modules-rollup-blueprint/src/lib.rs
@@ -204,7 +204,7 @@ impl<S: RollupBlueprint> Rollup<S> {
     }
 }
 
-type AppVerifier<DA, Zk, ZkContext, RT, K> =
+type StfVerifier<DA, Zk, ZkContext, RT, K> =
     StateTransitionVerifier<StfBlueprint<ZkContext, <DA as DaVerifier>::Spec, Zk, RT, K>, DA, Zk>;
 
 type ZkProver<ZkContext, Vm, ZkRuntime, Da, K> = Prover<
@@ -225,7 +225,7 @@ fn configure_prover<
     da_verifier: Da::Verifier,
 ) -> ZkProver<ZkContext, Vm, RT, Da, K> {
     let app = StfBlueprint::new();
-    let app_verifier = AppVerifier::<_, _, ZkContext, RT, K>::new(app, da_verifier);
+    let app_verifier = StfVerifier::<_, _, ZkContext, RT, K>::new(app, da_verifier);
 
     let config = match cfg {
         RollupProverConfig::Simulate => ProofGenConfig::Simulate(app_verifier),