Remove git submodules of algebra, proof-systems and redux-rs

Patch them in `Cargo.toml` instead

Author: sebastiencs

.gitmodules

@@ -16,8 +16,6 @@ members = [
     "ledger",
 ]
 
-exclude = [ "deps/redux-rs" ]
-
 resolver = "2"
 
 [workspace.dependencies]
@@ -35,38 +33,20 @@ panic = "abort"
 incremental = false
 codegen-units = 1
 
-[patch.'https://github.com/openmina/algebra']
-ark-ff = { path = "deps/algebra/ff" }
-ark-ec = { path = "deps/algebra/ec" }
-ark-poly = { path = "deps/algebra/poly" }
-ark-serialize = { path = "deps/algebra/serialize" }
-
 [patch.crates-io]
-ark-ff = { path = "deps/algebra/ff" }
-ark-ec = { path = "deps/algebra/ec" }
-ark-poly = { path = "deps/algebra/poly" }
-ark-serialize = { path = "deps/algebra/serialize" }
-
-[patch.'https://github.com/openmina/proof-systems']
-mina-hasher = { path = "deps/proof-systems/hasher" }
-mina-signer = { path = "deps/proof-systems/signer" }
-mina-curves = { path = "deps/proof-systems/curves" }
-o1-utils = { path = "deps/proof-systems/utils" }
-kimchi = { path = "deps/proof-systems/kimchi" }
-poly-commitment = { path = "deps/proof-systems/poly-commitment" }
-mina-poseidon = { path = "deps/proof-systems/poseidon" }
+ark-ff = { git = "https://github.com/openmina/algebra", branch = "openmina" }
+ark-ec = { git = "https://github.com/openmina/algebra", branch = "openmina" }
+ark-poly = { git = "https://github.com/openmina/algebra", branch = "openmina" }
+ark-serialize = { git = "https://github.com/openmina/algebra", branch = "openmina" }
 
 [patch.'https://github.com/o1-labs/proof-systems']
-mina-hasher = { path = "deps/proof-systems/hasher" }
-mina-signer = { path = "deps/proof-systems/signer" }
-mina-curves = { path = "deps/proof-systems/curves" }
-o1-utils = { path = "deps/proof-systems/utils" }
-kimchi = { path = "deps/proof-systems/kimchi" }
-poly-commitment = { path = "deps/proof-systems/poly-commitment" }
-mina-poseidon = { path = "deps/proof-systems/poseidon" }
-
-[patch.'https://github.com/openmina/redux-rs']
-redux = { path = "deps/redux-rs" }
+mina-hasher = { git = "https://github.com/openmina/proof-systems", branch = "ledger-newtypes-rampup4" }
+mina-signer = { git = "https://github.com/openmina/proof-systems", branch = "ledger-newtypes-rampup4" }
+mina-curves = { git = "https://github.com/openmina/proof-systems", branch = "ledger-newtypes-rampup4" }
+o1-utils = { git = "https://github.com/openmina/proof-systems", branch = "ledger-newtypes-rampup4" }
+kimchi = { git = "https://github.com/openmina/proof-systems", branch = "ledger-newtypes-rampup4" }
+mina-poseidon = {git = "https://github.com/openmina/proof-systems", branch = "ledger-newtypes-rampup4"}
+poly-commitment = {git = "https://github.com/openmina/proof-systems", branch = "ledger-newtypes-rampup4"}
 
 [patch.'https://github.com/openmina/ledger']
 ledger = { path = "ledger", package = "mina-tree" }