diff --git a/halo2-base/Cargo.toml b/halo2-base/Cargo.toml
index 33799495..8446bbc2 100644
--- a/halo2-base/Cargo.toml
+++ b/halo2-base/Cargo.toml
@@ -4,20 +4,20 @@ version = "0.3.0"
 edition = "2021"
 
 [dependencies]
-itertools = "0.10"
-num-bigint = { version = "0.4", features = ["rand"] }
-num-integer = "0.1"
-num-traits = "0.2"
-rand_chacha = "0.3"
-rustc-hash = "1.1"
-ff = "0.12"
-rayon = "1.6.1"
-serde = { version = "1.0", features = ["derive"] }
-serde_json = "1.0"
-log = "0.4"
+itertools = "=0.10"
+num-bigint = { version = "=0.4", features = ["rand"] }
+num-integer = "=0.1"
+num-traits = "=0.2"
+rand_chacha = "=0.3"
+rustc-hash = "=1.1"
+ff = "=0.12"
+rayon = "=1.6.1"
+serde = { version = "=1.0", features = ["derive"] }
+serde_json = "=1.0"
+log = "=0.4"
 
 # Use Axiom's custom halo2 monorepo for faster proving when feature = "halo2-axiom" is on
-halo2_proofs_axiom = { git = "https://github.com/axiom-crypto/halo2.git", branch = "axiom/dev", package = "halo2_proofs", optional = true }
+halo2_proofs_axiom = { git = "https://github.com/axiom-crypto/halo2.git", rev = "7db51d3", package = "halo2_proofs", optional = true }
 # Use PSE halo2 and halo2curves for compatibility when feature = "halo2-pse" is on
 halo2_proofs = { git = "https://github.com/privacy-scaling-explorations/halo2.git", tag = "v2023_02_02", optional = true }
 
@@ -29,20 +29,19 @@ tabbycat = { version = "0.1", features = ["attributes"], optional = true }
 rand = { version = "0.8", optional = true }
 
 [dev-dependencies]
-ark-std = { version = "0.3.0", features = ["print-trace"] }
-rand = "0.8"
-pprof = { version = "0.11", features = ["criterion", "flamegraph"] }
-criterion = "0.4"
-criterion-macro = "0.4"
-rayon = "1.6.1"
-test-case = "3.1.0"
-proptest = "1.1.0"
+ark-std = { version = "=0.3.0", features = ["print-trace"] }
+rand = "=0.8"
+pprof = { version = "=0.11", features = ["criterion", "flamegraph"] }
+criterion = "=0.4"
+criterion-macro = "=0.4"
+test-case = "=3.1.0"
+proptest = "=1.1.0"
 
 # memory allocation
 [target.'cfg(not(target_env = "msvc"))'.dependencies]
-jemallocator = { version = "0.5", optional = true }
+jemallocator = { version = "=0.5", optional = true }
 
-mimalloc = { version = "0.1", default-features = false, optional = true }
+mimalloc = { version = "=0.1", default-features = false, optional = true }
 
 [features]
 default = ["halo2-axiom", "display"]
diff --git a/halo2-ecc/Cargo.toml b/halo2-ecc/Cargo.toml
index 2b03e1cb..b4beeb19 100644
--- a/halo2-ecc/Cargo.toml
+++ b/halo2-ecc/Cargo.toml
@@ -4,29 +4,29 @@ version = "0.3.0"
 edition = "2021"
 
 [dependencies]
-itertools = "0.10"
-num-bigint = { version = "0.4", features = ["rand"] }
-num-integer = "0.1"
-num-traits = "0.2"
-rand_core = { version = "0.6", default-features = false, features = ["getrandom"] }
-rand = "0.8"
-rand_chacha = "0.3.1"
-serde = { version = "1.0", features = ["derive"] }
-serde_json = "1.0"
-rayon = "1.6.1"
-test-case = "3.1.0"
+itertools = "=0.10"
+num-bigint = { version = "=0.4", features = ["rand"] }
+num-integer = "=0.1"
+num-traits = "=0.2"
+rand_core = { version = "=0.6", default-features = false, features = ["getrandom"] }
+rand = "=0.8"
+rand_chacha = "=0.3.1"
+serde = { version = "=1.0", features = ["derive"] }
+serde_json = "=1.0"
+rayon = "=1.6.1"
+test-case = "=3.1.0"
 
 # arithmetic
-ff = "0.12"
-group = "0.12"
+ff = "=0.12"
+group = "=0.12"
 
 halo2-base = { path = "../halo2-base", default-features = false }
 
 [dev-dependencies]
-ark-std = { version = "0.3.0", features = ["print-trace"] }
-pprof = { version = "0.11", features = ["criterion", "flamegraph"] }
-criterion = "0.4"
-criterion-macro = "0.4"
+ark-std = { version = "=0.3.0", features = ["print-trace"] }
+pprof = { version = "=0.11", features = ["criterion", "flamegraph"] }
+criterion = "=0.4"
+criterion-macro = "=0.4"
 halo2-base = { path = "../halo2-base", default-features = false, features = ["test-utils"] }
 
 [features]