halo2: Use orchard repo externally.

examples/halo2/Cargo.lock

@@ -184,6 +184,21 @@ dependencies = [
  "rayon",
 ]
 
+[[package]]
+name = "halo2_ecc"
+version = "0.0.0"
+source = "git+https://github.com/parazyd/orchard.git?rev=ae83fe91e680f5cb9a20f357d239cc2c81191ef8#ae83fe91e680f5cb9a20f357d239cc2c81191ef8"
+dependencies = [
+ "arrayvec 0.7.1",
+ "bigint",
+ "ff",
+ "group",
+ "halo2",
+ "halo2_utilities",
+ "lazy_static",
+ "pasta_curves",
+]
+
 [[package]]
 name = "halo2_examples"
 version = "0.1.0"
@@ -194,12 +209,36 @@ dependencies = [
  "ff",
  "group",
  "halo2",
+ "halo2_ecc",
+ "halo2_poseidon",
+ "halo2_utilities",
  "lazy_static",
  "pasta_curves",
  "rand",
  "subtle",
 ]
 
+[[package]]
+name = "halo2_poseidon"
+version = "0.0.0"
+source = "git+https://github.com/parazyd/orchard.git?rev=ae83fe91e680f5cb9a20f357d239cc2c81191ef8#ae83fe91e680f5cb9a20f357d239cc2c81191ef8"
+dependencies = [
+ "bitvec",
+ "halo2",
+ "halo2_utilities",
+ "pasta_curves",
+]
+
+[[package]]
+name = "halo2_utilities"
+version = "0.0.0"
+source = "git+https://github.com/parazyd/orchard.git?rev=ae83fe91e680f5cb9a20f357d239cc2c81191ef8#ae83fe91e680f5cb9a20f357d239cc2c81191ef8"
+dependencies = [
+ "ff",
+ "halo2",
+ "pasta_curves",
+]
+
 [[package]]
 name = "hermit-abi"
 version = "0.1.19"

examples/halo2/Cargo.toml

@@ -16,7 +16,11 @@ arrayvec = "0.7.0"
 lazy_static = "1"
 bigint = "4"
 subtle = "2.3"
+halo2 = { git="https://github.com/zcash/halo2.git", rev = "27c4187673a9c6ade13fbdbd4f20955530c22d7f" }
+halo2_utilities = { git ="https://github.com/parazyd/orchard.git", rev = "ae83fe91e680f5cb9a20f357d239cc2c81191ef8" }
+halo2_ecc = { git ="https://github.com/parazyd/orchard.git", rev = "ae83fe91e680f5cb9a20f357d239cc2c81191ef8" }
 
-[dependencies.halo2]
-git = "https://github.com/zcash/halo2.git"
-rev = "27c4187673a9c6ade13fbdbd4f20955530c22d7f"
+[dependencies.halo2_poseidon]
+git = "https://github.com/parazyd/orchard.git"
+rev = "ae83fe91e680f5cb9a20f357d239cc2c81191ef8"
+features = ["halo2"]