diff --git a/Cargo.toml b/Cargo.toml
index 0e3b617..c00b0a1 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -59,7 +59,3 @@ lto = "thin"
 incremental = true
 debug-assertions = true
 debug = true
-
-# To be removed in the new release.
-[patch.crates-io]
-ark-r1cs-std = { git = "https://github.com/arkworks-rs/r1cs-std" }
diff --git a/curve-constraint-tests/Cargo.toml b/curve-constraint-tests/Cargo.toml
index 22d56d0..c411d17 100644
--- a/curve-constraint-tests/Cargo.toml
+++ b/curve-constraint-tests/Cargo.toml
@@ -16,8 +16,8 @@ edition = "2021"
 ark-std = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-ff = { version = "0.4.0-alpha", default-features = false }
-ark-relations = { version = "^0.3.0", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 
 [features]
diff --git a/curve25519/Cargo.toml b/curve25519/Cargo.toml
index 4fca3ea..ed1006e 100644
--- a/curve25519/Cargo.toml
+++ b/curve25519/Cargo.toml
@@ -16,10 +16,10 @@ edition = "2021"
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-curve-constraint-tests = { path = "../curve-constraint-tests", default-features = false }
diff --git a/ed25519/Cargo.toml b/ed25519/Cargo.toml
index 3f5686c..c52ee73 100644
--- a/ed25519/Cargo.toml
+++ b/ed25519/Cargo.toml
@@ -16,10 +16,10 @@ edition = "2021"
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-curve-constraint-tests = { path = "../curve-constraint-tests", default-features = false }
diff --git a/ed_on_bls12_377/Cargo.toml b/ed_on_bls12_377/Cargo.toml
index 1754599..608ce69 100644
--- a/ed_on_bls12_377/Cargo.toml
+++ b/ed_on_bls12_377/Cargo.toml
@@ -16,11 +16,11 @@ edition = "2021"
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 ark-bls12-377 = { version = "0.4.0-alpha", path = "../bls12_377", default-features = false, features = [ "scalar_field" ] }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-curve-constraint-tests = { path = "../curve-constraint-tests", default-features = false }
diff --git a/ed_on_bls12_381/Cargo.toml b/ed_on_bls12_381/Cargo.toml
index d848800..d30df45 100644
--- a/ed_on_bls12_381/Cargo.toml
+++ b/ed_on_bls12_381/Cargo.toml
@@ -16,11 +16,11 @@ edition = "2021"
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 ark-bls12-381 = { version = "0.4.0-alpha", path = "../bls12_381", default-features = false, features = [ "scalar_field" ] }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-bench-templates = { version = "0.4.0-alpha", default-features = false }
diff --git a/ed_on_bls12_381_bandersnatch/Cargo.toml b/ed_on_bls12_381_bandersnatch/Cargo.toml
index f392a90..a4d303d 100644
--- a/ed_on_bls12_381_bandersnatch/Cargo.toml
+++ b/ed_on_bls12_381_bandersnatch/Cargo.toml
@@ -14,11 +14,11 @@ edition = "2021"
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 ark-bls12-381 = { version = "0.4.0-alpha", path = "../bls12_381", default-features = false, features = [ "scalar_field" ] }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-curve-constraint-tests = { path = "../curve-constraint-tests", default-features = false }
diff --git a/ed_on_bn254/Cargo.toml b/ed_on_bn254/Cargo.toml
index f334adf..f4a4d4c 100644
--- a/ed_on_bn254/Cargo.toml
+++ b/ed_on_bn254/Cargo.toml
@@ -16,11 +16,11 @@ edition = "2021"
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 ark-bn254 = { version = "0.4.0-alpha", path = "../bn254", default-features = false, features = [ "scalar_field" ] }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-curve-constraint-tests = { path = "../curve-constraint-tests", default-features = false }
diff --git a/ed_on_bw6_761/Cargo.toml b/ed_on_bw6_761/Cargo.toml
index 1c97e8f..822f554 100644
--- a/ed_on_bw6_761/Cargo.toml
+++ b/ed_on_bw6_761/Cargo.toml
@@ -16,8 +16,8 @@ edition = "2021"
 ark-ed-on-cp6-782 = { version = "0.4.0-alpha", path = "../ed_on_cp6_782", default-features = false }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false }
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
 
diff --git a/ed_on_cp6_782/Cargo.toml b/ed_on_cp6_782/Cargo.toml
index afdf3b7..0cab208 100644
--- a/ed_on_cp6_782/Cargo.toml
+++ b/ed_on_cp6_782/Cargo.toml
@@ -16,11 +16,11 @@ edition = "2021"
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 ark-bls12-377 = { version = "0.4.0-alpha", path = "../bls12_377", default-features = false, features = [ "base_field" ] }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-curve-constraint-tests = { path = "../curve-constraint-tests", default-features = false }
diff --git a/ed_on_mnt4_298/Cargo.toml b/ed_on_mnt4_298/Cargo.toml
index c7e5a54..c8831f5 100644
--- a/ed_on_mnt4_298/Cargo.toml
+++ b/ed_on_mnt4_298/Cargo.toml
@@ -16,11 +16,11 @@ edition = "2021"
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 ark-mnt4-298 = { version = "0.4.0-alpha", path = "../mnt4_298", default-features = false, features = [ "scalar_field" ] }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-curve-constraint-tests = { path = "../curve-constraint-tests", default-features = false }
diff --git a/ed_on_mnt4_753/Cargo.toml b/ed_on_mnt4_753/Cargo.toml
index 5b0c397..fda5398 100644
--- a/ed_on_mnt4_753/Cargo.toml
+++ b/ed_on_mnt4_753/Cargo.toml
@@ -16,11 +16,11 @@ edition = "2021"
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 ark-mnt4-753 = { version = "0.4.0-alpha", path = "../mnt4_753", default-features = false, features = [ "scalar_field" ] }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-curve-constraint-tests = { path = "../curve-constraint-tests", default-features = false }
diff --git a/mnt4_298/Cargo.toml b/mnt4_298/Cargo.toml
index 28dc9fc..ad738cf 100644
--- a/mnt4_298/Cargo.toml
+++ b/mnt4_298/Cargo.toml
@@ -16,10 +16,10 @@ edition = "2021"
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-bench-templates = { version = "0.4.0-alpha", default-features = false }
diff --git a/mnt4_753/Cargo.toml b/mnt4_753/Cargo.toml
index 7b0b3b0..eb7bca5 100644
--- a/mnt4_753/Cargo.toml
+++ b/mnt4_753/Cargo.toml
@@ -16,10 +16,10 @@ edition = "2021"
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-bench-templates = { version = "0.4.0-alpha", default-features = false }
diff --git a/mnt6_298/Cargo.toml b/mnt6_298/Cargo.toml
index f0c83dc..3618478 100644
--- a/mnt6_298/Cargo.toml
+++ b/mnt6_298/Cargo.toml
@@ -16,11 +16,11 @@ edition = "2021"
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 ark-mnt4-298 = { version = "0.4.0-alpha", path = "../mnt4_298", default-features = false, features = [ "scalar_field", "base_field" ] }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-bench-templates = { version = "0.4.0-alpha", default-features = false }
diff --git a/mnt6_753/Cargo.toml b/mnt6_753/Cargo.toml
index 7a98a34..921e2cb 100644
--- a/mnt6_753/Cargo.toml
+++ b/mnt6_753/Cargo.toml
@@ -16,11 +16,11 @@ edition = "2021"
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
 ark-std = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = {  version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = {  version = "0.4.0-alpha", default-features = false, optional = true }
 ark-mnt4-753 = { version = "0.4.0-alpha", path = "../mnt4_753", default-features = false, features = [ "scalar_field", "base_field" ] }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-bench-templates = { version = "0.4.0-alpha", default-features = false }
diff --git a/pallas/Cargo.toml b/pallas/Cargo.toml
index 7647dd7..c770f70 100644
--- a/pallas/Cargo.toml
+++ b/pallas/Cargo.toml
@@ -15,11 +15,11 @@ edition = "2021"
 [dependencies]
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 ark-std = { version = "0.4.0-alpha", default-features = false }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-bench-templates = { version = "0.4.0-alpha", default-features = false }
diff --git a/vesta/Cargo.toml b/vesta/Cargo.toml
index 640c6ed..62810ae 100644
--- a/vesta/Cargo.toml
+++ b/vesta/Cargo.toml
@@ -15,12 +15,12 @@ edition = "2021"
 [dependencies]
 ark-ff = { version = "0.4.0-alpha", default-features = false }
 ark-ec = { version = "0.4.0-alpha", default-features = false }
-ark-r1cs-std = { version = "^0.3.0", default-features = false, optional = true }
+ark-r1cs-std = { version = "0.4.0-alpha", default-features = false, optional = true }
 ark-std = { version = "0.4.0-alpha", default-features = false }
 ark-pallas = { version = "0.4.0-alpha", path = "../pallas", default-features = false, features = [ "scalar_field", "base_field" ] }
 
 [dev-dependencies]
-ark-relations = { version = "^0.3.0", default-features = false }
+ark-relations = { version = "0.4.0-alpha", default-features = false }
 ark-serialize = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-test-templates = { version = "0.4.0-alpha", default-features = false }
 ark-algebra-bench-templates = { version = "0.4.0-alpha", default-features = false }