diff --git a/axiom-codec/Cargo.toml b/axiom-codec/Cargo.toml
index 365d5d35..ca090628 100644
--- a/axiom-codec/Cargo.toml
+++ b/axiom-codec/Cargo.toml
@@ -33,5 +33,5 @@ serde = { version = "1.0", features = ["derive"] }
 
 [features]
 default = ["halo2-axiom"]
-# halo2-pse = ["axiom-eth/halo2-pse"]
+halo2-pse = ["axiom-eth/halo2-pse"]
 halo2-axiom = ["axiom-eth/halo2-axiom"]
diff --git a/axiom-core/Cargo.toml b/axiom-core/Cargo.toml
index 7e378cf8..31de50af 100644
--- a/axiom-core/Cargo.toml
+++ b/axiom-core/Cargo.toml
@@ -54,7 +54,7 @@ default = ["halo2-axiom", "jemallocator", "keygen", "display"]
 display = ["axiom-eth/display"]
 asm = ["axiom-eth/asm"]
 revm = ["axiom-eth/revm"]
-# halo2-pse = ["axiom-eth/halo2-pse"]
+halo2-pse = ["axiom-eth/halo2-pse"]
 halo2-axiom = ["axiom-eth/halo2-axiom"]
 jemallocator = ["axiom-eth/jemallocator"]
 keygen = ["axiom-eth/keygen", "dep:clap", "dep:serde_yaml"]
diff --git a/axiom-eth/Cargo.toml b/axiom-eth/Cargo.toml
index 42011e3a..ccbb5622 100644
--- a/axiom-eth/Cargo.toml
+++ b/axiom-eth/Cargo.toml
@@ -28,10 +28,10 @@ static_assertions = "1.1.0"
 type-map = "0.5.0"
 
 # halo2
-halo2-base = { version = "=0.4.1", default-features = false, features = ["test-utils"] }
-# halo2-base = { git = "https://github.com/axiom-crypto/halo2-lib.git", tag = "v0.4.1-git", default-features = false, features = ["test-utils"] }
-zkevm-hashes = { version = "=0.2.1", default-features = false }
-# zkevm-hashes = { git = "https://github.com/axiom-crypto/halo2-lib.git", tag = "v0.4.1-git", default-features = false }
+# halo2-base = { version = "=0.4.1", default-features = false, features = ["test-utils"] }
+halo2-base = { git = "https://github.com/axiom-crypto/halo2-lib.git", tag = "v0.4.1-git", default-features = false, features = ["test-utils"] }
+# zkevm-hashes = { version = "=0.2.1", default-features = false }
+zkevm-hashes = { git = "https://github.com/axiom-crypto/halo2-lib.git", tag = "v0.4.1-git", default-features = false }
 
 # crypto
 rlp = "=0.5.2"
@@ -47,10 +47,10 @@ rand = "0.8"
 rand_chacha = "0.3.1"
 
 # aggregation
-snark-verifier = { version = "=0.1.7", default-features = false }
-# snark-verifier = { git = "https://github.com/axiom-crypto/snark-verifier.git", tag = "v0.1.7-git", default-features = false }
-snark-verifier-sdk = { version = "=0.1.7", default-features = false }
-# snark-verifier-sdk = { git = "https://github.com/axiom-crypto/snark-verifier.git", tag = "v0.1.7-git", default-features = false }
+# snark-verifier = { version = "=0.1.7", default-features = false }
+snark-verifier = { git = "https://github.com/axiom-crypto/snark-verifier.git", tag = "v0.1.7-git", default-features = false }
+# snark-verifier-sdk = { version = "=0.1.7", default-features = false }
+snark-verifier-sdk = { git = "https://github.com/axiom-crypto/snark-verifier.git", tag = "v0.1.7-git", default-features = false }
 
 # generating circuit inputs from blockchain
 ethers-providers = { version = "=2.0.14", optional = true, features = ["optimism"] }
@@ -89,7 +89,7 @@ revm = ["snark-verifier-sdk/revm"]
 providers = ["dep:ethers-providers", "dep:tokio", "dep:futures"]
 display = ["zkevm-hashes/display", "snark-verifier-sdk/display", "dep:ark-std"]
 # EXACTLY one of halo2-pse / halo2-axiom should always be turned on
-# halo2-pse = ["zkevm-hashes/halo2-pse", "snark-verifier-sdk/halo2-pse"]
+halo2-pse = ["zkevm-hashes/halo2-pse", "snark-verifier-sdk/halo2-pse"]
 halo2-axiom = ["zkevm-hashes/halo2-axiom", "snark-verifier-sdk/halo2-axiom"]
 keygen = ["aggregation", "dep:blake3"]
 jemallocator = ["halo2-base/jemallocator"]
diff --git a/axiom-query/Cargo.toml b/axiom-query/Cargo.toml
index 01599974..5f72dbca 100644
--- a/axiom-query/Cargo.toml
+++ b/axiom-query/Cargo.toml
@@ -70,7 +70,7 @@ default = ["halo2-axiom", "jemallocator", "display", "keygen"]
 display = ["axiom-eth/display", "dep:ark-std"]
 asm = ["axiom-eth/asm"]
 revm = ["axiom-eth/revm"]
-# halo2-pse = ["axiom-eth/halo2-pse"]
+halo2-pse = ["axiom-eth/halo2-pse"]
 halo2-axiom = ["axiom-eth/halo2-axiom"]
 jemallocator = ["axiom-eth/jemallocator"]
 keygen = ["axiom-eth/keygen", "dep:enum_dispatch", "dep:clap", "dep:serde_yaml"]