diff --git a/Cargo.lock b/Cargo.lock
index ebd237fe6..ccefe9055 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -4420,7 +4420,7 @@ dependencies = [
 [[package]]
 name = "openvm-stark-backend"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/stark-backend.git?rev=c785515#c7855151341eee8b721b465ae088fc123839b2c6"
+source = "git+https://github.com/openvm-org/stark-backend.git?rev=118b2e#118b2e84f51fed1d07a1411b83c98cf986472311"
 dependencies = [
  "async-trait",
  "cfg-if",
@@ -4447,7 +4447,7 @@ dependencies = [
 [[package]]
 name = "openvm-stark-sdk"
 version = "0.2.0-alpha"
-source = "git+https://github.com/openvm-org/stark-backend.git?rev=c785515#c7855151341eee8b721b465ae088fc123839b2c6"
+source = "git+https://github.com/openvm-org/stark-backend.git?rev=118b2e#118b2e84f51fed1d07a1411b83c98cf986472311"
 dependencies = [
  "derive_more 0.99.18",
  "ff 0.13.0",
diff --git a/Cargo.toml b/Cargo.toml
index 8b5048e3e..a891dca26 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -103,8 +103,8 @@ lto = "thin"
 
 [workspace.dependencies]
 # Stark Backend
-openvm-stark-backend = { git = "https://github.com/openvm-org/stark-backend.git", rev = "c785515", default-features = false }
-openvm-stark-sdk = { git = "https://github.com/openvm-org/stark-backend.git", rev = "c785515", default-features = false }
+openvm-stark-backend = { git = "https://github.com/openvm-org/stark-backend.git", rev = "118b2e", default-features = false }
+openvm-stark-sdk = { git = "https://github.com/openvm-org/stark-backend.git", rev = "118b2e", default-features = false }
 
 # OpenVM
 openvm-sdk = { path = "crates/sdk", default-features = false }
diff --git a/crates/vm/src/arch/integration_api.rs b/crates/vm/src/arch/integration_api.rs
index 294b6a4b4..5d7bb6707 100644
--- a/crates/vm/src/arch/integration_api.rs
+++ b/crates/vm/src/arch/integration_api.rs
@@ -9,9 +9,7 @@ use openvm_circuit_primitives::utils::next_power_of_two_or_zero;
 use openvm_circuit_primitives_derive::AlignedBorrow;
 use openvm_instructions::instruction::Instruction;
 use openvm_stark_backend::{
-    air_builders::{
-        debug::DebugConstraintBuilder, prover::ProverConstraintFolder, symbolic::SymbolicRapBuilder,
-    },
+    air_builders::{debug::DebugConstraintBuilder, symbolic::SymbolicRapBuilder},
     config::{StarkGenericConfig, Val},
     p3_air::{Air, AirBuilder, BaseAir},
     p3_field::{FieldAlgebra, PrimeField32},
@@ -249,17 +247,12 @@ where
     C: VmCoreChip<Val<SC>, A::Interface> + Send + Sync,
     A::Air: Send + Sync + 'static,
     A::Air: VmAdapterAir<SymbolicRapBuilder<Val<SC>>>,
-    A::Air: for<'a> VmAdapterAir<ProverConstraintFolder<'a, SC>>,
     A::Air: for<'a> VmAdapterAir<DebugConstraintBuilder<'a, SC>>,
     C::Air: Send + Sync + 'static,
     C::Air: VmCoreAir<
         SymbolicRapBuilder<Val<SC>>,
         <A::Air as VmAdapterAir<SymbolicRapBuilder<Val<SC>>>>::Interface,
     >,
-    C::Air: for<'a> VmCoreAir<
-        ProverConstraintFolder<'a, SC>,
-        <A::Air as VmAdapterAir<ProverConstraintFolder<'a, SC>>>::Interface,
-    >,
     C::Air: for<'a> VmCoreAir<
         DebugConstraintBuilder<'a, SC>,
         <A::Air as VmAdapterAir<DebugConstraintBuilder<'a, SC>>>::Interface,