point to a repo and delete local ark-zkey

worldcoin · Dec 4, 2023 · 5c3a24e · 5c3a24e
1 parent c8f6505
commit 5c3a24e
Show file tree

Hide file tree

Showing 5 changed files with 2 additions and 442 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -39,8 +39,7 @@ ark-relations = { version = "=0.4.0", default-features = false }
 ark-std = { version = "0.4.0", default-features = false, features = ["parallel"] }
 # TODO: Need to give mopro a example zkey for satisfying its tests
 # for now i just commented them out 
-# ark-zkey = { git = "https://github.com/worldcoin/mopro" }
-ark-zkey = { path = "crates/ark-zkey" }
+ark-zkey = { git = "https://github.com/worldcoin/mopro" }
 color-eyre = "0.6"
 criterion = { version = "0.3", optional = true, features = ["async_tokio"] }
 hex = "0.4.0"
@@ -77,7 +76,7 @@ tiny-keccak = "2.0.2"
 tracing-test = "0.2"
 
 [build-dependencies]
-ark-zkey = { path = "crates/ark-zkey" }
+ark-zkey = { git = "https://github.com/worldcoin/mopro" }
 color-eyre = "0.6"
 enumset = "1.0.8"
 reqwest = { version = "0.11", features = ["blocking"] }

diff --git a/crates/ark-zkey/.gitignore b/crates/ark-zkey/.gitignore
diff --git a/crates/ark-zkey/Cargo.toml b/crates/ark-zkey/Cargo.toml
diff --git a/crates/ark-zkey/README.md b/crates/ark-zkey/README.md