halo2: Add necessary dependencies for the rest of stuff in orchard

examples/halo2/Cargo.lock

@@ -12,12 +12,28 @@ version = "0.5.2"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "23b62fc65de8e4e7f52534fb52b0f3ed04746ae267519eef2a83941e8085068b"
 
+[[package]]
+name = "arrayvec"
+version = "0.7.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "be4dc07131ffa69b8072d35f5007352af944213cde02545e2103680baed38fcd"
+
 [[package]]
 name = "autocfg"
 version = "1.0.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "cdb031dd78e28731d87d56cc8ffef4a8f36ca26c38fe2de700543e627f8a464a"
 
+[[package]]
+name = "bigint"
+version = "4.4.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "c0e8c8a600052b52482eff2cf4d810e462fdff1f656ac1ecb6232132a1ed7def"
+dependencies = [
+ "byteorder",
+ "crunchy",
+]
+
 [[package]]
 name = "bitvec"
 version = "0.22.3"
@@ -37,7 +53,7 @@ source = "registry+https://github.com/rust-lang/crates.io-index"
 checksum = "afa748e348ad3be8263be728124b24a24f268266f6f5d58af9d75f6a40b5c587"
 dependencies = [
  "arrayref",
- "arrayvec",
+ "arrayvec 0.5.2",
  "constant_time_eq",
 ]
 
@@ -103,6 +119,12 @@ dependencies = [
  "lazy_static",
 ]
 
+[[package]]
+name = "crunchy"
+version = "0.1.6"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+checksum = "a2f4a431c5c9f662e1200b7c7f02c34e91361150e382089a8f2dec3ba680cbda"
+
 [[package]]
 name = "either"
 version = "1.6.1"
@@ -166,12 +188,16 @@ dependencies = [
 name = "halo2_examples"
 version = "0.1.0"
 dependencies = [
+ "arrayvec 0.7.1",
+ "bigint",
  "bitvec",
  "ff",
  "group",
  "halo2",
+ "lazy_static",
  "pasta_curves",
  "rand",
+ "subtle",
 ]
 
 [[package]]

examples/halo2/Cargo.toml

@@ -12,6 +12,10 @@ group = "0.10"
 pasta_curves = "0.1.2"
 bitvec = "0.22"
 rand = "0.8.4"
+arrayvec = "0.7.0"
+lazy_static = "1"
+bigint = "4"
+subtle = "2.3"
 
 [dependencies.halo2]
 git = "https://github.com/zcash/halo2.git"