diff --git a/Cargo.lock b/Cargo.lock
index f7b7e371..e25fb841 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -167,7 +167,7 @@ version = "0.5.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "3df4dcc01ff89867cd86b0da835f23c3f02738353aaee7dde7495af71363b8d5"
 dependencies = [
- "ark-ec 0.5.0",
+ "ark-ec",
  "ark-ff 0.5.0",
  "ark-serialize 0.5.0",
  "ark-std 0.5.0",
@@ -181,7 +181,7 @@ checksum = "1e0c292754729c8a190e50414fd1a37093c786c709899f29c9f7daccecfa855e"
 dependencies = [
  "ahash 0.8.12",
  "ark-crypto-primitives-macros",
- "ark-ec 0.5.0",
+ "ark-ec",
  "ark-ff 0.5.0",
  "ark-relations",
  "ark-serialize 0.5.0",
@@ -207,23 +207,6 @@ dependencies = [
  "syn 2.0.109",
 ]
 
-[[package]]
-name = "ark-ec"
-version = "0.4.2"
-source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "defd9a439d56ac24968cca0571f598a61bc8c55f71d50a89cda591cb750670ba"
-dependencies = [
- "ark-ff 0.4.2",
- "ark-poly 0.4.2",
- "ark-serialize 0.4.2",
- "ark-std 0.4.0",
- "derivative",
- "hashbrown 0.13.2",
- "itertools 0.10.5",
- "num-traits",
- "zeroize",
-]
-
 [[package]]
 name = "ark-ec"
 version = "0.5.0"
@@ -370,7 +353,7 @@ checksum = "7d68a105d915bcde6c0687363591c97e72d2d3758f3532d48fd0bf21a3261ce7"
 dependencies = [
  "ahash 0.8.12",
  "ark-crypto-primitives",
- "ark-ec 0.5.0",
+ "ark-ec",
  "ark-ff 0.5.0",
  "ark-poly 0.5.0",
  "ark-relations",
@@ -4448,7 +4431,7 @@ version = "0.1.0"
 dependencies = [
  "arbitrary",
  "ark-bls12-381",
- "ark-ec 0.4.2",
+ "ark-ec",
  "ark-ff 0.4.2",
  "ark-poly 0.4.2",
  "ark-poly-commit",
diff --git a/p-project-contracts/Cargo.toml b/p-project-contracts/Cargo.toml
index 2e5aa802..747c0c68 100644
--- a/p-project-contracts/Cargo.toml
+++ b/p-project-contracts/Cargo.toml
@@ -16,7 +16,7 @@ kani-verifier = { version = "0.63", optional = true }
 # Post-quantum cryptography
 kyberlib = "0.0.6"
 # Zero-knowledge proofs
-ark-ec = "0.4.2"
+ark-ec = "0.5.0"
 ark-ff = "0.4.2"
 ark-poly = "0.4.2"
 ark-poly-commit = "0.5.0"