diff --git a/constantine-rust/constantine-halo2-zal/Cargo.toml b/constantine-rust/constantine-halo2-zal/Cargo.toml
index de0ed485..142cb309 100644
--- a/constantine-rust/constantine-halo2-zal/Cargo.toml
+++ b/constantine-rust/constantine-halo2-zal/Cargo.toml
@@ -10,7 +10,8 @@ repository = "https://github.com/mratsim/constantine"
 [dependencies]
 constantine-sys = { path = "../constantine-sys" }
 constantine-core = { path = "../constantine-core" }
-halo2curves = { git = 'https://github.com/taikoxyz/halo2curves', branch = "pr-pse-exec-engine" }
+halo2_middleware = { git = 'https://github.com/privacy-scaling-explorations/halo2' }
+halo2curves = { version = "0.6.1", default-features = false }
 
 [dev-dependencies]
 ark-std = "0.3"
@@ -22,7 +23,7 @@ rand_xorshift = "0.3"
 rayon = "1.8"
 
 # In CI "asm" needs to be disabled as some agents don't support ADX.
-halo2curves = { git = 'https://github.com/taikoxyz/halo2curves', branch = "pr-pse-exec-engine" }
+# halo2curves = { git = 'https://github.com/taikoxyz/halo2curves', branch = "pr-pse-exec-engine" }
 
 [[bench]]
 name = "msm"
diff --git a/constantine-rust/constantine-halo2-zal/src/lib.rs b/constantine-rust/constantine-halo2-zal/src/lib.rs
index c16cf9d0..b5444b85 100644
--- a/constantine-rust/constantine-halo2-zal/src/lib.rs
+++ b/constantine-rust/constantine-halo2-zal/src/lib.rs
@@ -16,7 +16,7 @@ use ::core::mem::MaybeUninit;
 use std::mem;
 
 use halo2curves::bn256;
-use halo2curves::zal::MsmAccel;
+use halo2_middleware::zal::traits::MsmAccel;
 use halo2curves::CurveAffine;
 
 #[derive(Debug)]
diff --git a/constantine-rust/constantine-halo2-zal/tests/t_zal_msm_accel.rs b/constantine-rust/constantine-halo2-zal/tests/t_zal_msm_accel.rs
index cba61d35..dce5d810 100644
--- a/constantine-rust/constantine-halo2-zal/tests/t_zal_msm_accel.rs
+++ b/constantine-rust/constantine-halo2-zal/tests/t_zal_msm_accel.rs
@@ -17,7 +17,7 @@ use halo2curves::ff::Field;
 use halo2curves::group::prime::PrimeCurveAffine;
 use halo2curves::group::{Curve, Group};
 use halo2curves::msm::best_multiexp;
-use halo2curves::zal::MsmAccel;
+use halo2_middleware::zal::traits::MsmAccel;
 
 #[test]
 fn t_threadpool() {